Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-20 21:52:45 -0700 (Wed, 20 Aug 2003)
Revision: 4863
Log message:

      Verified that omake restarts when mk/make_config.sh changes.
      

Changes	Path
+24 -15	metaprl/mk/config.win32
+0 -1	metaprl/mk/make_config.sh
+11 -8	metaprl/theories/tptp/OMakefile