Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-22 13:57:44 -0700 (Sun, 22 May 2005)
Revision: 7312
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.