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