Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-25 01:49:28 -0700 (Wed, 25 May 2005)
Revision: 7327
Log message:
Numerous documentation fixes:
- MP_DEBUG=spell fixes (MP_DEBUG=spell finally compiles again)
- Now docoff/junk/docon sequence does not introduce empty vertical space
- Removed the old reflection theories from the theories.pdf, replacing them
with the new itt_hoas_* theories.
- Chaged so that any TeX printout of a module always starts in the "docoff"
mode. This makes it unnecessary to always terminate documented modules in
the "docoff" mode.