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