>>>>> "John" == John Perry <[EMAIL PROTECTED]> writes:
John> Hello, It is not uncommon in LaTeX to include optional arguments
John> to theorem-like environments, for example
John> \begin{theorem}[Buchberger, 1965] ... \end{theorem}
This is something we should support natively indeed. The last time I
looked at it, it was a bit too complicated for my taste and I gave up :)
JMarc
