Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-10 17:23:29 -0700 (Fri, 10 Oct 2003)
Revision: 4963
Log message:

      We should always use the proper boolean tests, not $equal(... , YES) ones!
      Hopefully, this will also fix the bug 58.
      

Changes  Path
+8 -3 metaprl/editor/ml/OMakefile
Added metaprl/editor/ml/tests/OMakefile
Properties metaprl/editor/ml/tests/OMakefile
+1 -1 metaprl/theories/itt/OMakefile