On Tue, 6 Mar 2007, Oliver Buerschaper wrote: > Hi Aditya, > >> I have rudimentary support for titled theorems and end of proof >> markers working. It also takes care of your bug-report. > > That's great news! My fingers are itching to test it ;-) > >> I have patched core-des so that stopper is also honored when number=no >> is set. > > Does this mean that your patch has already been merged with the > official release?
No, it will be a while before it will be merged in the official release. I will make all changes that I want and then ask Hans to look at it --- don't want to waste Hans time for including each different thing individually. >> 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. > > Please send it to me ... Will do. Aditya _______________________________________________ ntg-context mailing list [email protected] http://www.ntg.nl/mailman/listinfo/ntg-context
