Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-02-20 16:04:25 -0800 (Sun, 20 Feb 2000)
Revision: 2899
Log message:

      - Fixed the prop-pigeon tactics.
      The solution was to wrap dT with thinningT false
      
      - Added the test files for all the prop-pigeon test we are using.
      
      - Made sure "make clean" in editor/ml also cleans editor/ml/tests
      

Changes  Path
+2 -1 metaprl/editor/ml/Makefile
Added metaprl/editor/ml/tests/p2.ml
Properties metaprl/editor/ml/tests/p2.ml
Added metaprl/editor/ml/tests/p2p.ml
Properties metaprl/editor/ml/tests/p2p.ml
Added metaprl/editor/ml/tests/p3.ml
Properties metaprl/editor/ml/tests/p3.ml
Added metaprl/editor/ml/tests/p3p.ml
Properties metaprl/editor/ml/tests/p3p.ml
+1 -1 metaprl/editor/ml/tests/p4.ml
Added metaprl/editor/ml/tests/p4p.ml
Properties metaprl/editor/ml/tests/p4p.ml
+1 -0 metaprl/editor/ml/tests/prop-pigeon.ml