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