Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-23 17:11:11 -0700 (Wed, 23 Jun 2004)
Revision: 6001
Log message:

      Compiles under Win32 again.
      

Changes  Path
+1 -22 metaprl/OMakefile
+5 -0 metaprl/OMakeroot
Properties metaprl/filter
Properties metaprl/library
Properties metaprl/mllib
+7 -2 metaprl/mllib/setup.ml
Properties metaprl/refiner
Properties metaprl/support/display
Properties metaprl/support/shell
Properties metaprl/support/tactics
Properties metaprl/tactics/null
Properties metaprl/tactics/proof
Properties metaprl/theories/base
Properties metaprl/theories/czf
Properties metaprl/theories/fol
Properties metaprl/theories/itt
Properties metaprl/theories/ocaml_doc
+1 -1 metaprl/util/OMakefile