Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-03-13 14:17:11 -0800 (Mon, 13 Mar 2000)
Revision: 2919
Log message:

      
       ----------------------------------------------------------------------
       Enter Log.  Lines beginning with `CVS:' are removed automatically
      
       Committing in .
      
       Modified Files:
        jall.ml jall.mli Files
       Added Files:
        jtunify.mli jtunify.ml
       ----------------------------------------------------------------------
      

Changes  Path
+3 -1 metaprl/refiner/reflib/Files
+1220 -462 metaprl/refiner/reflib/jall.ml
+4 -3 metaprl/refiner/reflib/jall.mli
Added metaprl/refiner/reflib/jtunify.ml
Properties metaprl/refiner/reflib/jtunify.ml
Added metaprl/refiner/reflib/jtunify.mli
Properties metaprl/refiner/reflib/jtunify.mli

Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-03-13 15:02:21 -0800 (Mon, 13 Mar 2000)
Revision: 2920
Log message:

      
       ----------------------------------------------------------------------
       Enter Log.  Lines beginning with `CVS:' are removed automatically
      
       Committing in .
      
       Modified Files:
        Files
       ----------------------------------------------------------------------
      

Changes  Path
+2 -3 metaprl/refiner/reflib/Files

Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-03-13 15:03:12 -0800 (Mon, 13 Mar 2000)
Revision: 2921
Log message:

      
       ----------------------------------------------------------------------
       Enter Log.  Lines beginning with `CVS:' are removed automatically
      
       Committing in .
      
       Modified Files:
        itt_logic.ml itt_logic.mli
       ----------------------------------------------------------------------
      

Changes  Path
+3 -4 metaprl/theories/itt/itt_logic.ml
+4 -6 metaprl/theories/itt/itt_logic.mli

Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-03-16 11:52:02 -0800 (Thu, 16 Mar 2000)
Revision: 2922
Log message:

      added/improved functionality for metaprl/jprover/nuprl5 io
      

Changes  Path
+15 -6 metaprl/editor/ml/Makefile
Deleted metaprl/editor/ml/library_eval.ml
Deleted metaprl/editor/ml/library_eval.mli
Deleted metaprl/editor/ml/library_test.ml
Deleted metaprl/editor/ml/library_test.mli
+3 -0 metaprl/editor/ml/mp.ml
Added metaprl/editor/ml/nuprl_eval.ml
Properties metaprl/editor/ml/nuprl_eval.ml
Added metaprl/editor/ml/nuprl_eval.mli
Properties metaprl/editor/ml/nuprl_eval.mli
Added metaprl/editor/ml/nuprl_jprover.ml
Properties metaprl/editor/ml/nuprl_jprover.ml
Added metaprl/editor/ml/nuprl_jprover.mli
Properties metaprl/editor/ml/nuprl_jprover.mli
Added metaprl/editor/ml/nuprl_run.ml
Properties metaprl/editor/ml/nuprl_run.ml
Added metaprl/editor/ml/nuprl_run.mli
Properties metaprl/editor/ml/nuprl_run.mli
+3 -1 metaprl/editor/ml/shell.ml
+8 -8 metaprl/library/ascii_scan.ml
+5 -2 metaprl/library/basic.ml
+2 -2 metaprl/library/basic.mli
+86 -43 metaprl/library/db.ml
+3 -0 metaprl/library/db.mli
+81 -20 metaprl/library/definition.ml
+1 -1 metaprl/library/library.ml
+1 -1 metaprl/library/mbterm.ml
+92 -4 metaprl/library/nuprl5.ml
+15 -1 metaprl/library/nuprl5.mli
+2 -2 metaprl/library/oidtable.ml
+23 -6 metaprl/library/orb.ml
+17 -1 metaprl/theories/itt/itt_logic.ml

Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-03-16 15:30:08 -0800 (Thu, 16 Mar 2000)
Revision: 2923
Log message:

      moved nuprl_jlogic module to sensible place
      

Changes  Path
+18 -0 metaprl/editor/ml/nuprl_jprover.ml
+4 -1 metaprl/editor/ml/nuprl_jprover.mli
+1 -17 metaprl/theories/itt/itt_logic.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-03-17 01:35:28 -0800 (Fri, 17 Mar 2000)
Revision: 2924
Log message:

      Removed conflicts introduced by jyh
      

Changes  Path
+2 -36 metaprl/BUGS

Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-03-23 12:07:34 -0800 (Thu, 23 Mar 2000)
Revision: 2925
Log message:

      added nuprl sig
      

Changes  Path
Added metaprl/editor/ml/nuprl_sig.mlz
Properties metaprl/editor/ml/nuprl_sig.mlz