Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-10-06 07:08:25 -0700 (Tue, 06 Oct 1998)
Revision: 2490
Log message:

      Added evaluation functions to ShellP4.
      Lori: the "open" functions do not work in edit_cd_thm.  I believe
      that the "open" expresssions are evaluated in a separate toploop,
      so there is no way to open the module in the real toploop
      except by typing it in...
      

Changes  Path
+2 -1 metaprl/Makefile
+4 -4 metaprl/editor/ml/nl_version.mli
+16 -4 metaprl/editor/ml/shell.ml
+9 -0 metaprl/editor/ml/shell_nl.ml
+23 -5 metaprl/editor/ml/shell_p4.ml
+3 -0 metaprl/editor/ml/shell_p4_type.mlz