On Sat, Jul 29, 2023, at 4:10 AM, José Matos wrote:
> On Thu, 2023-07-27 at 22:28 -0400, Richard Kimberly Heck wrote:
> > There's a similar problem with item counters that I've asked the
> > author 
> > to try to solve. Probably that will solve this problem too.
> > 
> > Riki
> 
> As a follow-up to previous message:
> 
> Now, after your last changes Equations no longer show any value. I
> think that before this it was was working. So there is no text at all
> in that column.

This is easy to fix (Riki's new logic for separating out "pretty" formats from 
"reference" formats needs to be called for equations); see the patch on trac.

> 
> Also Propositions now show as Lemma.
> Is this our first attempt at Artificial Intelligence features in LyX?
> :-D

This seems to be not a problem with the code, but rather just a small mistake 
in the RefFormat specifications in the layout files that got copy-pasted many 
times -- a find-and-replace of 'RefFormat prop "Lemma' to 'RefFormat prop 
"Proposition' in the layout files should solve it.

Alex

> 
> For context I am using a document with the "Standard Theorems" module.
> I am also using the "Logical Markup" module, FWIW.
> 
> Best regards,
> 
> PS: As you can imagine I am testing LyX because I have a deadline next
> Monday and at least this makes the task more interesting. :-D
> -- 
> José Abílio
> -- 
> lyx-devel mailing list
> lyx-devel@lists.lyx.org
> http://lists.lyx.org/mailman/listinfo/lyx-devel
> 
-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel

Reply via email to