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