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.
      

Changes  Path
+18 -9 metaprl/OMakefile
+1 -1 metaprl/OMakefile_common
+1 -1 metaprl/OMakefile_theories
Deleted metaprl/OMakeroot_install
Properties metaprl/editor/ml
+51 -7 metaprl/editor/ml/OMakefile
Deleted metaprl/editor/ml/mpconfig
+10 -0 metaprl/mk/defaults
Added metaprl/mk/gen_omakeroot
+10 -0 metaprl/mk/make_config
Added metaprl/support/display/MetaprlInfo
Added metaprl/support/doc/MetaprlInfo
Added metaprl/support/editor/MetaprlInfo
Added metaprl/support/shell/MetaprlInfo
Added metaprl/support/tactics/MetaprlInfo