Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-04-25 08:28:40 -0700 (Thu, 25 Apr 2002)
Revision: 3584
Log message:
- Added the comment module to the theories.pdf ("make latex").
- Added a hack allowing to override a theory display with another theory's
display. This is necessary for bootstrapping reasons - it allows one
to get a reasonable output of a theory (e.g. Comment) that is defined before
all essential display forms (e.g. the Summary ones) are there.
- Added debugging code to make it easier to find dforms that cause
zone begin/end mismatch (and used it to get rid of all
the "Unballanced buffer" warnings in "make latex").
- Minor dforms&comments updates.