Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-11-16 23:46:55 -0800 (Sun, 16 Nov 2003)
Revision: 5106
Log message:

      Fixed some display forms.
      

Changes  Path
+24 -23 metaprl/editor/ml/QUICKSTART
+6 -6 metaprl/refiner/reflib/rformat.ml
+39 -37 metaprl/support/display/nuprl_font.ml
+1 -0 metaprl/support/display/nuprl_font.mli
+3 -10 metaprl/theories/itt/itt_comment.ml