Hi Aditya, 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.
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. Taco