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