Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-07 00:07:28 -0700 (Mon, 07 Apr 2003)
Revision: 4390
Log message:

      Updated the display forms for the new sequent syntax.
      

Changes	Path
+2 -1	metaprl/editor/ml/mpxterm-large
+37 -66	metaprl/theories/tactic/base_dform.ml
+6 -2	metaprl/theories/tactic/nuprl_font.ml