Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-25 11:23:08 -0800 (Mon, 25 Jan 1999)
Revision: 2575
Log message:

      Added edit_save function to save a specific package.
      

Changes  Path
+2 -0 metaprl/editor/ml/shell.ml