Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-07 12:14:04 -0700 (Thu, 07 Jun 2001)
Revision: 3254
Log message:

      - For symbolic keywords, use tt instead of bf
      - Use tt for non-math < and > to make sure that are displayed properly.
      

Changes  Path
+19 -5 metaprl/refiner/reflib/rformat.ml
+16 -1 metaprl/theories/tactic/nuprl_font.ml
+3 -1 texinputs/metaprl.tex