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
      

Changes  Path
+1 -1 metaprl/editor/ml/shell_tex.ml
+3 -3 metaprl/theories/tactic/summary.ml
Properties metaprl-branches/CS101_branch/theories/cs101
+2 -0 metaprl-branches/CS101_branch/theories/cs101/cs101_cla.ml
+10 -1 metaprl-branches/CS101_branch/theories/cs101/cs101_int.ml
+14 -4 metaprl-branches/CS101_branch/theories/cs101/cs101_lc.ml