Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-25 22:54:53 -0700 (Fri, 25 Apr 2003)
Revision: 4502
Log message:

      - cleaned up some display
      - translate H,J,K in context names to Gamma, Delta, Sigma.
      

Changes	Path
+14 -5	metaprl/theories/tactic/base_dform.ml
+1 -0	metaprl/theories/tactic/comment.ml
+8 -4	metaprl/theories/tactic/nuprl_font.ml
+2 -1	metaprl/theories/tactic/nuprl_font.mli