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
_______________________________________________
ntg-context mailing list
[email protected]
http://www.ntg.nl/mailman/listinfo/ntg-context