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