Small breaking change in mm-lamp

46 views
Skip to first unread message

Igor Ieskov

unread,
Oct 5, 2024, 7:48:47 AM10/5/24
to Metamath

Hi all,


Some time ago a bug in mm-lamp was reported Error when '.,' appears in disjoints This bug has been fixed by using spaces instead of commas to delimit variables in disjoints. This introduced a small breaking change. If you see an error like “The symbol 'y,V,x' is not a variable but it is used in a disjoint statement.” then please replace commas with spaces manually in Disjoints section of the editor. This fix is available on dev version of mm-lamp currently. So, if you switch between dev and any released version then you may need to do a similar manual change of disjoints.


Thank you,

Igor


Reply all
Reply to author
Forward
0 new messages