Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-19 21:34:11 -0700 (Tue, 19 Aug 2003)
Revision: 4853
Log message:

      Added better support for win32.  The main changes are for the C files,
      where a lot of support (like readline, ncurses) is missing.
      

Changes	Path
+15 -11	metaprl/OMakefile
+3 -1	metaprl/clib/OMakefile
+10 -10	metaprl/editor/ml/OMakefile
+0 -1	metaprl/filter/filter/prlcomp.ml
+8 -0	metaprl/theories/itt/itt_int_base.mli