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

      Somebody changed the definition of resources.  As a result,
      the 3.02 compilation will work only if the .prl* files are removed.
      

Changes  Path
Properties metaprl-branches/ocaml_3_02/clib
Properties metaprl-branches/ocaml_3_02/debug
Properties metaprl-branches/ocaml_3_02/doc
Properties metaprl-branches/ocaml_3_02/doc/latex/theories
Properties metaprl-branches/ocaml_3_02/doc/latex/theories/base
Properties metaprl-branches/ocaml_3_02/doc/latex/theories/czf
Properties metaprl-branches/ocaml_3_02/doc/latex/theories/fol
Properties metaprl-branches/ocaml_3_02/doc/latex/theories/itt
Properties metaprl-branches/ocaml_3_02/doc/ps/theories
Properties metaprl-branches/ocaml_3_02/editor/java
Properties metaprl-branches/ocaml_3_02/editor/ml
Properties metaprl-branches/ocaml_3_02/editor/ml/tests
Properties metaprl-branches/ocaml_3_02/ensemble
Properties metaprl-branches/ocaml_3_02/filter
Properties metaprl-branches/ocaml_3_02/filter/base
Properties metaprl-branches/ocaml_3_02/filter/boot
Properties metaprl-branches/ocaml_3_02/filter/filter
+1 -0 metaprl-branches/ocaml_3_02/filter/filter/Conscript
Properties metaprl-branches/ocaml_3_02/lib
Properties metaprl-branches/ocaml_3_02/library
Properties metaprl-branches/ocaml_3_02/mk
Properties metaprl-branches/ocaml_3_02/mllib
Properties metaprl-branches/ocaml_3_02/patches
Added metaprl-branches/ocaml_3_02/patches/camlp4-3.02-opt.patch
Properties metaprl-branches/ocaml_3_02/patches/camlp4-3.02-opt.patch
Added metaprl-branches/ocaml_3_02/patches/camlp4-3.02-plexer.patch
Properties metaprl-branches/ocaml_3_02/patches/camlp4-3.02-plexer.patch
Added metaprl-branches/ocaml_3_02/patches/camlp4-3.02-version.patch
Properties metaprl-branches/ocaml_3_02/patches/camlp4-3.02-version.patch
Properties metaprl-branches/ocaml_3_02/refiner
Properties metaprl-branches/ocaml_3_02/refiner/refbase
Properties metaprl-branches/ocaml_3_02/refiner/refiner
Properties metaprl-branches/ocaml_3_02/refiner/reflib
Properties metaprl-branches/ocaml_3_02/refiner/refsig
Properties metaprl-branches/ocaml_3_02/refiner/rewrite
Properties metaprl-branches/ocaml_3_02/refiner/term_ds
Properties metaprl-branches/ocaml_3_02/refiner/term_gen
Properties metaprl-branches/ocaml_3_02/refiner/term_std
Properties metaprl-branches/ocaml_3_02/theories/base
Properties metaprl-branches/ocaml_3_02/theories/czf
Properties metaprl-branches/ocaml_3_02/theories/fol
Properties metaprl-branches/ocaml_3_02/theories/itt
Properties metaprl-branches/ocaml_3_02/theories/mc
Properties metaprl-branches/ocaml_3_02/theories/ocaml
Properties metaprl-branches/ocaml_3_02/theories/ocaml_doc
Properties metaprl-branches/ocaml_3_02/theories/ocaml_sos
Properties metaprl-branches/ocaml_3_02/theories/reflect_itt
Properties metaprl-branches/ocaml_3_02/theories/sil
Properties metaprl-branches/ocaml_3_02/theories/tactic
Properties metaprl-branches/ocaml_3_02/theories/tptp
Properties metaprl-branches/ocaml_3_02/theories/tutorial
Properties metaprl-branches/ocaml_3_02/util
Properties texinputs-branches/ocaml_3_02