Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-21 18:52:07 -0700 (Mon, 21 Jun 2004)
Revision: 5989
Log message:

      Jason's fixes to Win32 build.
      

Changes	Path
+4 -4	metaprl/OMakefile
+1 -1	metaprl/theories/ocaml_doc/OMakefile