Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-28 02:53:46 -0700 (Fri, 28 Oct 2005)
Revision: 8022
Log message:

      Rearranged the config file, moving more "novice-friendly" variables (suth as
      THEORIES) closer to the top.