Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-21 09:45:08 -0800 (Fri, 21 Mar 2003)
Revision: 4208
Log message:

      Restored the TESTS=yes compile.
      

Changes	Path
+9 -9	metaprl/editor/ml/tests/prop-pigeon.ml
+4 -4	metaprl/theories/itt/itt_test.ml
+1 -1	metaprl/theories/itt/jprover_tests.ml