Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-29 22:28:42 -0700 (Mon, 29 May 2000)
Revision: 2995
Log message:

      Moved Jprover output parsing into the JLogic interface. Still need to write the
      output parsing for ITT_JLogic.
      
      Eliminated some excessive whitespace from jall.ml
      
      Eliminated some unnecessary exception handling code from jall.ml
      

Changes  Path
+18 -14 metaprl/editor/ml/nuprl_jprover.ml
+1 -2 metaprl/mk/make_config.sh
+2182 -2293 metaprl/refiner/reflib/jall.ml
+7 -6 metaprl/refiner/reflib/jall.mli
+9 -0 metaprl/refiner/reflib/jlogic_sig.ml
+32 -19 metaprl/theories/itt/itt_logic.ml
+2 -7 metaprl/theories/itt/itt_logic.mli