Hi all,
Some time ago a bug in mm-lamp was reported Error when '.,' appears in disjoints <https://github.com/expln/metamath-lamp/issues/199> 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 <https://expln.github.io/lamp/dev/index.html> 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 -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/16b911db-424e-485c-962d-d3ab50af202dn%40googlegroups.com.
