I've noticed that the definition environment is not numbered in the output files. After checking the module again, I hope there are no issues any more. The fixed module is attached.
Regards, Udi
theorems-thmtools.module
Description: Binary data
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel