On Fri, 19 Jan 2007, Taco Hoekwater wrote:

> Aditya Mahajan wrote:
>>
>> 4. The theorem should have a title. The title should be optional.
>>> Is partially implemented
>
> I used to work around that by defining a layer on top of the
> enumerations that always define the enumeration's settings
> on the fly. Quite inefficient, but it worked OK. Support in the
> core would be much nicer, though.

Here is my first attempt. I added new keys titleleft, titleright, and 
titlecommand to provide more customization. The solution is not 
pretty, mainly because title was an afterthought, rather than being 
there from the beginning.


% This is the usual visual output

\defineenumeration
   [lemma]
   [        title=yes,
             text=Lemma,
    titledistance=.5em,
     textdistance=1em,
       titlestyle=bold,
        titleleft=(,
       titleright=),
          stopper=.,
         location=hanging,
            style=italic,
   ]

\startlemma {with a title of a certain length}
   \input tufte
\stoplemma

\startlemma
   With no title
   \input tufte
\stoplemma


Basically, works with and without any title.


The list of enumerations does not look good, and I do not know how to 
configure it.


>> The last things, that is the end of proof marker, is right now not
>> possible in ConTeXt. There are a lot of things that need to be taken
>> care of while having a end-of-proof marker: basically, you need to
>> ensure that there is no page break between the proof and the marker.
>> Also the marker needs to be moved up or down, depending on how the
>> proof ends. At the very least, ConTeXt should have something that
>> ensures that the end of proof marker does not go onto a page of its
>> own.
>
> End of proof markers are a pain, and I see no easy solution.

I will try to implement a rudimetary support for end of proof markers, 
something similar to what amsthm does. The right way to do it is too 
complicated for me to understand :-(

The code is attached and suggestions for improvement are welcome.

Aditya