Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-31 21:39:06 -0700 (Fri, 31 May 2002)
Revision: 3704
Log message:

      Added edit_cd_list_contents for Lori.
      It's not perfect (it cd's into the module as a side-effect),
      but our top-loop code is very ugly anyway...
      

Changes	Path
+1 -0	metaprl/editor/ml/mp.ml
+2 -0	metaprl/editor/ml/mp.mli
+2 -3	metaprl/editor/ml/proof_edit.ml
+2 -3	metaprl/editor/ml/proof_edit.mli
+13 -15	metaprl/editor/ml/shell.ml
+3 -3	metaprl/editor/ml/shell_package.ml
+11 -11	metaprl/editor/ml/shell_rewrite.ml
+3 -3	metaprl/editor/ml/shell_root.ml
+7 -3	metaprl/editor/ml/shell_rule.ml
+3 -1	metaprl/editor/ml/shell_sig.mlz