Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-23 19:05:55 -0800 (Tue, 23 Mar 2004)
Revision: 5533
Log message:
Minor OMakefile changes to use Mcc_theory as the compiler root.
It seems to me that tests do not belong in extensions because
we want to test more than just extensions. What about a directory
theories/mojave/test?