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
dev-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/dev-context