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

      Add a THEORYPATH search path for theories.
      
      Note: the theories in the install directory have
      the READONLY=true flag appended to their MetaprlInfo
      file, so they will not get compiled, just
      noticed.
      
      However, a user can put his theories in various
      other places.  If the .dir files work, it should be no
      problem (untested).
      

Changes  Path
+2 -2 metaprl/OMakefile
+22 -6 metaprl/OMakefile_theories
+1 -0 metaprl/mk/defaults
+9 -0 metaprl/mk/make_config