Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-25 18:56:54 -0700 (Fri, 25 Apr 2003)
Revision: 4500
Log message:
- Do not ignore breaks in linear zones, turn them into spaces instead.
- Tried to write some code that would provide location(s) of the
misspelled words, but didn't get it to work (yet?).
- In display forms for "declare" and "define", print the raw term in tt font.
- M theories: always typeset opnames in tt font (not finished - I am in
the middle of sec 14 (m_x86_asm) with it, feel free to take over).
- other M documentation fixes.