>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> The attached patch would put the infrastructure in place for Martin> doing it for environments too. Seems to work. Hmm, how come I thought it was not trivial? Martin> BTW LaTeX output is broken (outputs numbers) in trunk. Martin> Should I check this in? Yes, I think so, but only in 1.5, since this would be a format change for 1.4. JMarc
