Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-11 13:09:32 -0700 (Fri, 11 Jun 2004)
Revision: 5885
Log message:

      Adding support for saving session state in files.
      

Changes	Path
Properties	metaprl/support/shell
+1 -0	metaprl/support/shell/Files
Added	metaprl/support/shell/browser_session_io.mli
Properties	metaprl/support/shell/browser_session_io.mli
Added	metaprl/support/shell/browser_session_io.mll
Properties	metaprl/support/shell/browser_session_io.mll
+10 -0	metaprl/support/shell/browser_sig.mlz
+0 -1	metaprl/support/shell/inputs/Files
+2 -0	metaprl/support/shell/inputs/buttons.html
+1 -1	metaprl/support/shell/inputs/edit-help.html
+24 -3	metaprl/support/shell/inputs/layout.js
+3 -0	metaprl/support/shell/inputs/style.css
+1 -3	metaprl/support/shell/shell_browser.ml