Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-16 20:48:54 -0700 (Wed, 16 Jun 2004)
Revision: 5912
Log message:

      Separate "shell" sessions from "browser" sessions.
      
      Bah, browser identifiers are back to integers...  Sorry about the
      change yet again, the proper URLs are /session/%d/...
      

Changes	Path
+1 -0	metaprl/support/shell/Files
+30 -15	metaprl/support/shell/browser_resource.ml
Added	metaprl/support/shell/browser_state.ml
Properties	metaprl/support/shell/browser_state.ml
Added	metaprl/support/shell/browser_state.mli
Properties	metaprl/support/shell/browser_state.mli
+3 -1	metaprl/support/shell/inputs/Files
+4 -9	metaprl/support/shell/inputs/access.html
Added	metaprl/support/shell/inputs/access.js
Properties	metaprl/support/shell/inputs/access.js
+1 -1	metaprl/support/shell/inputs/output.html
+8 -0	metaprl/support/shell/inputs/style.css
Added	metaprl/support/shell/inputs/welcome.html
Properties	metaprl/support/shell/inputs/welcome.html
+8 -6	metaprl/support/shell/shell.ml
+42 -42	metaprl/support/shell/shell_browser.ml
+18 -2	metaprl/support/shell/shell_core.ml
+23 -2	metaprl/support/shell/shell_current.ml