Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-21 20:02:21 -0800 (Sat, 21 Jan 2006)
Revision: 8565
Log message:

      Initial jyh theory.
      
      I think the readonly-install mode is very nice, and I want
      to use it as a default.  The plan is:
      
         1. Define a trunk theory that I can install (instead of
            /usr/local/lib/metaprl, I choose something relative
            to my home).
         2. Then, for specific projects, I define project directories
            that use svn:externals to include the theories that
            I care about.
      
      The tradeoff is:
         - Building core MetaPRL for install is more expensive
           (~10k targets vs ~7k targets).
         - Building a private project is incredibly cheap
           in contrast (~200 targets).
      
      It also means that I will have to remember to do possibly
      multiple commits if I modify both my private directory
      and core MetaPRL.
      
      *If only* svn could do the smart thing.  At least svn status will tell
      me what all I have changed.