Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2001-09-21 21:29:50 -0700 (Fri, 21 Sep 2001)
Revision: 3401
Log message:

      Initial 3.02 version.
      

Changes	Path
+1 -1	metaprl-branches/ocaml_3_02/ensemble/Conscript
+1 -0	metaprl-branches/ocaml_3_02/filter/Conscript
+12 -4	metaprl-branches/ocaml_3_02/filter/base/filter_ast.ml
+3 -1	metaprl-branches/ocaml_3_02/filter/base/filter_cache_fun.ml
+48 -47	metaprl-branches/ocaml_3_02/filter/base/filter_hash.ml
+164 -101	metaprl-branches/ocaml_3_02/filter/base/filter_ocaml.ml
+21 -27	metaprl-branches/ocaml_3_02/filter/base/filter_prog.ml
+3 -2	metaprl-branches/ocaml_3_02/filter/base/filter_summary.ml
+8 -11	metaprl-branches/ocaml_3_02/filter/base/free_vars.ml
+42 -43	metaprl-branches/ocaml_3_02/filter/base/mLast_util.ml
+26 -4	metaprl-branches/ocaml_3_02/filter/filter/Conscript
+5 -5	metaprl-branches/ocaml_3_02/filter/filter/filter_parse.ml
+3 -3	metaprl-branches/ocaml_3_02/filter/filter/prlcomp.ml
Added	metaprl-branches/ocaml_3_02/lib/Conscript
Properties	metaprl-branches/ocaml_3_02/lib/Conscript
+2 -2	metaprl-branches/ocaml_3_02/library/Conscript
+1 -1	metaprl-branches/ocaml_3_02/library/Makefile
Deleted	metaprl-branches/ocaml_3_02/library/int32.ml
Deleted	metaprl-branches/ocaml_3_02/library/int32.mli
Added	metaprl-branches/ocaml_3_02/library/lint32.ml
Properties	metaprl-branches/ocaml_3_02/library/lint32.ml
Added	metaprl-branches/ocaml_3_02/library/lint32.mli
Properties	metaprl-branches/ocaml_3_02/library/lint32.mli
+10 -12	metaprl-branches/ocaml_3_02/library/mathBus.ml
+5 -5	metaprl-branches/ocaml_3_02/library/mathBus.mli
+1 -1	metaprl-branches/ocaml_3_02/library/mbterm.ml
+6 -6	metaprl-branches/ocaml_3_02/library/registry.ml
+7 -7	metaprl-branches/ocaml_3_02/library/registry.mli
+1 -1	metaprl-branches/ocaml_3_02/mk/check_version.sh
+3 -3	metaprl-branches/ocaml_3_02/mk/preface
+3 -0	metaprl-branches/ocaml_3_02/refiner/refiner/Conscript
+1 -1	metaprl-branches/ocaml_3_02/refiner/refiner/refine.ml
+1 -0	metaprl-branches/ocaml_3_02/refiner/reflib/mp_resource.ml
+1 -0	metaprl-branches/ocaml_3_02/refiner/term_ds/term_base_ds.ml
+1 -0	metaprl-branches/ocaml_3_02/refiner/term_ds/term_ds_sig.ml
+1 -0	metaprl-branches/ocaml_3_02/refiner/term_std/term_base_std.ml
+15 -1	metaprl-branches/ocaml_3_02/theories/Conscript
Added	metaprl-branches/ocaml_3_02/theories/base/Conscript
Properties	metaprl-branches/ocaml_3_02/theories/base/Conscript
+6 -0	metaprl-branches/ocaml_3_02/theories/base/base_trivial.ml
Added	metaprl-branches/ocaml_3_02/theories/itt/Conscript
Properties	metaprl-branches/ocaml_3_02/theories/itt/Conscript
Added	metaprl-branches/ocaml_3_02/theories/ocaml/Conscript
Properties	metaprl-branches/ocaml_3_02/theories/ocaml/Conscript
Added	metaprl-branches/ocaml_3_02/theories/tactic/Conscript
Properties	metaprl-branches/ocaml_3_02/theories/tactic/Conscript
+4 -0	metaprl-branches/ocaml_3_02/theories/tactic/base_dform.ml
+8 -0	metaprl-branches/ocaml_3_02/theories/tactic/comment.ml
+27 -4	metaprl-branches/ocaml_3_02/theories/tactic/mptop.ml
+3 -0	metaprl-branches/ocaml_3_02/theories/tactic/nuprl_font.ml
+4 -0	metaprl-branches/ocaml_3_02/theories/tactic/perv.ml
+6 -0	metaprl-branches/ocaml_3_02/theories/tactic/summary.ml
+3 -0	metaprl-branches/ocaml_3_02/theories/tactic/tactic_cache.ml
+1 -1	metaprl-branches/ocaml_3_02/util/Conscript
+33 -7	metaprl-branches/ocaml_3_02/util/macro.ml