Hi! Are the Document class modules broken right now?
When I create a new document with document class "article" and add the "Theorems (AMS)" module and then leave the document dialog, I get the message that "the module" does not exist.
I checked the reconfigure output and everything looks normal. It finds plenty of AMS stuff.
Ideas? Stefan
