Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-25 10:34:13 -0800 (Mon, 25 Jan 1999)
Revision: 2574
Log message:

      Added edit_set_goal, which loads the package if it is not yet loaded.
      

Changes  Path
+1 -1 metaprl/editor/ml/Makefile
+5 -0 metaprl/editor/ml/mp.ml
+5 -0 metaprl/editor/ml/mp.mli
+18 -0 metaprl/editor/ml/shell.ml
+5 -0 metaprl/editor/ml/shell.mli