Hi Oliver, On Mon, 29 Jan 2007, Oliver Buerschaper wrote:
Hi Aditya, hi Taco,
I would really love to see built-in support for theorems in ConTeXt!
I have rudimentary support for titled theorems and end of proof markers working. It also takes care of your bug-report.
I have been typesetting my diploma thesis (in mathematical physics) with ConTeXt and my experience has been that in some areas ConTeXt still needs to catch up a bit on LaTeX (especially on the AMS packages), although it has definitely come along way already ...
So far I have constructed my theorems etc. as enumerations on an adhoc basis and - surprise - noted a few glitches here and there.
2. There is some odd behaviour concerning the options "right" and "stopper" which I mentioned on the list a while ago. I believe this is more an issue of descriptions/enumerations than anything else but it would affect any theorem mechanism based on enumerations. Perhaps this can be looked into at the same time as you're trying to cook up generic theorems.
I have patched core-des so that stopper is also honored when number=no is set.
Have you found out anything about the end of proof markers yet? I haven't tried it out but how do the AMS folks handle this issue? Unfortunately, I don't have the TeX programming experience (yet) to start digging myself ...
I have a very basic end of proof marker working. Basically, it will handle the marker correctly for proofs that end with paragraphs, and works hard to avoid a page break when the proof ends with a formula or an itemize (in this case, the end of proof marker is in a line of its own). The main macro for putting the proof marker on the right is from Paul Taylor's qed.sty. If you want to test this, I can send you the file offlist. This file is not in a state to be merged into the core right now. Hans, why does core-des.tex define description parameter as: \def\descriptionparameter#1{\csname\??dd\currentdescription#1\endcsname} while in some other files, you had \def\....parameter#1{\executeifdefinedelse{\??..\current....#1}{\executeifdefined{\??..#1}} which prevents a lot of copying of parameters. Is core-des yet to be cleaned up? Aditya