Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-10-06 12:54:12 -0700 (Tue, 06 Oct 1998)
Revision: 2491
Log message:

      Added the display form functions for Nuprl5.
      

Changes	Path
+11 -7	metaprl/editor/ml/nl.ml
+4 -0	metaprl/editor/ml/nl.mli
+103 -0	metaprl/editor/ml/shell.ml
+4 -0	metaprl/editor/ml/shell.mli