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