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

Reply via email to