On Tue, Aug 05, 2003 at 11:53:56PM +0200, Jean-Marc Lasgouttes wrote: > When did you create it?
Testcase from bugzilla. > >\end_layout > > > >\the_end > > There were only a few hours during which \end_layout had > been introduced but \the_end was still not replaced by > \end_document. Oh OK. > We thought it was not worth updating the format for each little change. *grumble about inconsistent position* :) john -- Khendon's Law: If the same point is made twice by the same person, the thread is over.
