On Fri, 23 Feb 2007, Hans Hagen wrote: > Aditya Mahajan wrote: >> Any comments? I think that Mojca and I are the only people who use >> \startsubformulas right now (my fault, have not documented them), so >> breaking the backward compatibility of \startsubformulas should not be too >> big a problem. >> > As long as it's consistent ... I'm really sensitive for consistency -) > Just send me the patches needed.
I will do that once I get home. > (which reminds me of other pending patches but i assume that i get to know > things once they're ready) The theorem part needs more work. I have something that works, but it needs more testing. I did not get any feedback on theorems, so I think that I really need to write a myway to show what can and cannot be done :-) Aditya _______________________________________________ dev-context mailing list [email protected] http://www.ntg.nl/mailman/listinfo/dev-context
