Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-25 01:49:28 -0700 (Wed, 25 May 2005)
Revision: 1063
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.
      

Changes	Path
+2 -2	libmojave/stdlib/lm_rformat_tex.ml