Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-20 22:29:35 -0700 (Sun, 20 Jun 2004)
Revision: 5970
Log message:

      - I've changed the browser interface to be the default one. Use the "-cli"
      option to get the command-line interface (mpxterm and mpkonsole scripts
      will set the -cli flag automatically).
      - The SSL and THREADS will now be enabled by default (this only has effects
      when you do _not_ already have an mk/config)
      

Changes  Path
+1 -1 metaprl/editor/ml/mpkonsole
+1 -1 metaprl/editor/ml/mpxterm
+2 -2 metaprl/mk/defaults
+12 -9 metaprl/mk/make_config.sh
+1 -2 metaprl/support/shell/shell_browser.ml
+2 -1 metaprl/support/shell/shell_state.ml
+2 -2 metaprl/support/shell/shell_state.mli