Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-12-31 09:23:10 -0800 (Thu, 31 Dec 1998)
Revision: 2538
Log message:

      Added module-checking function "expand_all" to the Shell module.
      

Changes  Path
+6 -6 metaprl/editor/ml/proof_edit.ml
+94 -21 metaprl/editor/ml/shell.ml
+2 -0 metaprl/editor/ml/shell.mli
+1 -1 metaprl/editor/ml/w.ml