Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-20 16:04:08 -0700 (Sun, 20 May 2001)
Revision: 3235
Log message:
Display form fixes.
- TeX: all object-level terms (theorem statements, etc) are now typeset
in math mode.
- Tex: variable names are now parsed to detect indeces. In particular,
'a1 will now be printed as a_{1} and 'a1_2 will be printed as a_{1,2}.
- Tex: `|' symbol in display forms is now always handled correctly.
- Numerous small fixes.