>> >> >> What is the current status of the theorem support? >> Setup,GUI etc. Yes. > We don't have a GUI for ordinary layouts either so I'd figure it would > work for environment layouts as well. >> And that is the real job. > A GUI. Yes. But that's not strictly needed If by GUI you mean a gui where you could define your own theorems and tell what they should look like, fonts, font effects, name, numbering, I would really like that feature :-)
Too bad I'm not a sufficiently good programmer to contribute. Gunnar.
