Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-14 22:49:33 -0700 (Wed, 14 Apr 2004)
Revision: 5652
Log message:

      Added support to start the browser at startup.  The typical use is
      
         setenv MP_BROWSER_COMMAND mozilla
      
      This works with mozilla+Linux, but I'm not at all sure about
      other combinations.
      

Changes  Path
+3 -1 metaprl/mllib/http_simple.ml
+1 -0 metaprl/support/shell/Files
Added metaprl/support/shell/inputs/access.html
Properties metaprl/support/shell/inputs/access.html
+7 -0 metaprl/support/shell/inputs/layout.js
+3 -0 metaprl/support/shell/inputs/login.html
+2 -0 metaprl/support/shell/inputs/pagelong.html
+2 -0 metaprl/support/shell/inputs/pageshort.html
+5 -0 metaprl/support/shell/inputs/start.html
+11 -4 metaprl/support/shell/inputs/validate.js
+85 -36 metaprl/support/shell/shell_browser.ml