Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-09-03 08:15:46 -0700 (Wed, 03 Sep 1997)
Revision: 2060
Log message:

      .
      

Changes  Path
+30 -54 metaprl/library/Makefile
+5 -3 metaprl/library/basic.ml
Added metaprl/library/db.ml
Properties metaprl/library/db.ml
Added metaprl/library/db.mli
Properties metaprl/library/db.mli
+5 -5 metaprl/library/mathBus.ml

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-09-08 08:02:40 -0700 (Mon, 08 Sep 1997)
Revision: 2061
Log message:

      This version compiles Ensemble.
      

Changes  Path
+1 -0 metaprl/Makefile
+6 -1 metaprl/filter/prlcomp.ml
+4 -1 metaprl/filter/term_grammar.ml
Properties metaprl/library
+42 -61 metaprl/library/Makefile
+1 -1 metaprl/library/basic.ml
+1 -1 metaprl/mk/config
+5 -2 metaprl/theories/itt/itt_logic.ml
+9 -4 metaprl/theories/rewrite/Makefile
+56 -10 metaprl/theories/rewrite/rw_beta.ml

Changes by: ( at unknown.email)
Date: 1997-09-08 08:02:40 -0700 (Mon, 08 Sep 1997)
Revision: 2062
Log message:

      This commit was manufactured by cvs2svn to create tag 'Ensemble_0_0'.

Changes  Path
Copied metaprl-tags/Ensemble_0_0

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-09 09:09:45 -0700 (Tue, 09 Sep 1997)
Revision: 2063
Log message:

      .
      

Changes  Path
+12 -3 metaprl/library/Makefile
+70 -9 metaprl/library/basic.ml
+15 -5 metaprl/library/basic.mli
+2 -2 metaprl/library/db.ml
Added metaprl/library/definition.ml
Properties metaprl/library/definition.ml
Added metaprl/library/definition.mli
Properties metaprl/library/definition.mli
+204 -68 metaprl/library/library.ml
+43 -25 metaprl/library/library.mli
Added metaprl/library/oidtable.ml
Properties metaprl/library/oidtable.ml
Added metaprl/library/oidtable.mli
Properties metaprl/library/oidtable.mli
+120 -20 metaprl/library/orb.ml
+9 -0 metaprl/library/orb.mli
Added metaprl/library/tentfunctor.ml
Properties metaprl/library/tentfunctor.ml
Added metaprl/library/tentfunctor.mli
Properties metaprl/library/tentfunctor.mli
+44 -3 metaprl/library/test.ml
Added metaprl/library/test.mli
Properties metaprl/library/test.mli

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-11 08:36:13 -0700 (Thu, 11 Sep 1997)
Revision: 2064
Log message:

      .
      

Changes  Path
+48 -70 metaprl/library/library.ml
+38 -22 metaprl/library/library.mli
+42 -23 metaprl/library/orb.ml
+4 -12 metaprl/library/orb.mli
+76 -17 metaprl/library/test.ml
+3 -1 metaprl/library/utils.mli

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-12 07:58:17 -0700 (Fri, 12 Sep 1997)
Revision: 2065
Log message:

      .
      

Changes  Path
+38 -25 metaprl/library/library.ml
+1 -4 metaprl/library/library.mli
+16 -2 metaprl/library/orb.ml
+15 -29 metaprl/library/tentfunctor.ml
+0 -6 metaprl/library/tentfunctor.mli
+74 -37 metaprl/library/test.ml
+14 -0 metaprl/library/utils.ml
+3 -0 metaprl/library/utils.mli

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-09-12 10:21:47 -0700 (Fri, 12 Sep 1997)
Revision: 2066
Log message:

      Added MLast <-> term conversion.
      Splitting filter_parse into two phases:
         1. Compile into Filter_summary
         2. Compile Filter_summary into code.
      

Changes  Path
+1 -0 metaprl/filter/Makefile
+15 -2 metaprl/filter/filter_cache.ml
Added metaprl/filter/filter_ocaml.ml
Properties metaprl/filter/filter_ocaml.ml
Added metaprl/filter/filter_ocaml.mli
Properties metaprl/filter/filter_ocaml.mli
+323 -108 metaprl/filter/filter_parse.ml
+185 -93 metaprl/filter/filter_summary.ml
+11 -1 metaprl/filter/filter_summary.mli
+15 -2 metaprl/filter/filter_summary_type.mlz
+34 -0 metaprl/refiner/rewrite.ml
+21 -0 metaprl/refiner/simple_print.ml
+186 -6 metaprl/refiner/term.ml
+23 -0 metaprl/refiner/term.mli
+40 -21 metaprl/refiner/term_stable.ml
+42 -23 metaprl/refiner/term_template.ml

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-12 14:08:39 -0700 (Fri, 12 Sep 1997)
Revision: 2067
Log message:

      .
      

Changes  Path
+3 -3 metaprl/library/basic.ml
+20 -5 metaprl/library/library.ml
+30 -11 metaprl/library/library.mli
+2 -2 metaprl/library/orb.ml
+52 -2 metaprl/library/test.ml

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-16 11:56:00 -0700 (Tue, 16 Sep 1997)
Revision: 2068
Log message:

      .
      

Changes  Path
+4 -2 metaprl/library/definition.ml
+8 -6 metaprl/library/library.ml
+4 -2 metaprl/library/library.mli
+123 -18 metaprl/library/test.ml

Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-09-17 06:12:06 -0700 (Wed, 17 Sep 1997)
Revision: 2069
Log message:

      .
      

Changes  Path
+4 -2 metaprl/library/db.ml

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-25 14:28:19 -0700 (Thu, 25 Sep 1997)
Revision: 2070
Log message:

      .
      

Changes  Path
+5 -3 metaprl/library/basic.ml
+1 -1 metaprl/library/basic.mli
+94 -64 metaprl/library/library.ml
+0 -0 metaprl/library/library.mli
+37 -6 metaprl/library/orb.ml
+26 -6 metaprl/library/orb.mli
+9 -4 metaprl/library/test.ml

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-09-29 14:28:21 -0700 (Mon, 29 Sep 1997)
Revision: 2071
Log message:

      .
      

Changes  Path
+3 -1 metaprl/library/orb.ml

Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-09-30 14:25:23 -0700 (Tue, 30 Sep 1997)
Revision: 2072
Log message:

      .
      

Changes  Path
+20 -20 metaprl/library/db.ml
+1 -1 metaprl/library/db.mli
+1 -1 metaprl/library/orb.ml