Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-22 13:57:43 -0700 (Sun, 22 May 2005)
Revision: 1049
Log message:

      Documentation fixes:
      
       - A lot of spelling fixes
      
       - Let omake know that MP_DEBUG=spell implies dependency on lib/words
      
       - When building the lib/english_dictionary.dat, build it in a temporary file
         first, followed by a rename to make it possible to run several instances
         of filter-spell in parallel.
      
       - A number of extra "doc docoff" added around display forms "let resource +="
         and other similar items
      
       - A few display form fixes.
      
       - Made the pages in the all-theories file wider.
      

Changes  Path
+14 -19 libmojave/stdlib/lm_rformat_tex.ml