Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-23 17:27:56 -0700 (Wed, 23 Apr 2003)
Revision: 4478
Log message:
- Changed the diplsy form for "declare" to be nicer and to include both
the raw and the dis[played version of the term.
- Commented out the lucida fonts in the standard tex header in the tex
printing functionality.
- Added a script to print out all the CS101 theories into a .dvi