Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-09-11 13:23:54 -0700 (Fri, 11 Sep 1998)
Revision: 2465
Log message:

      Added Nuprl5 interface to editor/ml/shell.mli
      

Changes	Path
+4 -4	metaprl/editor/ml/nl.mli
+1 -1	metaprl/editor/ml/nlconfig
+15 -13	metaprl/editor/ml/proof.ml
+115 -34	metaprl/editor/ml/proof_edit.ml
+9 -4	metaprl/editor/ml/proof_edit.mli
+89 -4	metaprl/editor/ml/shell.ml
+15 -4	metaprl/editor/ml/shell.mli
+19 -16	metaprl/editor/ml/shell_nl.ml
+8 -4	metaprl/editor/ml/shell_null.ml
+7 -4	metaprl/editor/ml/shell_p4.ml
+5 -4	metaprl/editor/ml/shell_p4_type.mlz
+20 -4	metaprl/editor/ml/shell_rewrite.ml
+20 -4	metaprl/editor/ml/shell_rule.ml
+8 -4	metaprl/editor/ml/shell_type.mlz
+6 -6	metaprl/ensemble/thread_refiner_ens.ml
+7 -5	metaprl/theories/tptp/tptp_prove.ml