Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-07 14:42:55 -0700 (Mon, 07 Jul 2003)
Revision: 97
Log message:

      make opt should now work, except on theories/tpt, which is still need
      to fix.
      

Changes  Path
+1 -1 libmojave-branches/abstract_vars/cutil/Makefile
+5 -2 libmojave-branches/abstract_vars/stdlib/Makefile
+5 -3 libmojave-branches/abstract_vars/util/Makefile