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