Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-20 20:09:16 -0700 (Thu, 20 Oct 2005)
Revision: 7956
Log message:

      Added a "mixed" compilation mode that builds a native code filter and a
      bytecode toploops. This may be the optimal mode when doing a lot of theory
      development, but the proofs are fairly simple, so I made it the default mode.
      
      The config file now has a single "COMPILATION_MODE" variable (possible values:
      byte, native, both and mixed) instead of NATIVE_ENABLED/BYTE_ENABLED.
      
      Warning: if you want something other than the default "mixed", make sure to
      edit your mk/config after "svn up; omake mk/config".