Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-19 20:36:11 -0800 (Thu, 19 Jan 2006)
Revision: 8528
Log message:

      Added the INSTALL_DIR option to mk/config, and generate
      the OMakeroot_install and editor/ml/mpconfig files.
      
      Next up: add the search path for theories.