Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-05-30 11:59:12 -0700 (Tue, 30 May 2000)
Revision: 2998
Log message:

      removed global vars used for debugging
      

Changes	Path
+302 -355	metaprl/editor/ml/nuprl_eval.ml
+4 -7	metaprl/editor/ml/nuprl_jprover.ml
+3 -0	metaprl/editor/ml/nuprl_jprover.mli
+21 -17	metaprl/editor/ml/nuprl_run.ml
+8 -8	metaprl/editor/ml/nuprl_run.mli