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