Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-19 15:39:37 -0700 (Sat, 19 Jun 2004)
Revision: 5951
Log message:

      Output is persistent.
      

Changes	Path
+134 -82	metaprl/support/shell/browser_syscall.ml
+6 -1	metaprl/support/shell/browser_syscall.mli
+1 -1	metaprl/support/shell/inputs/frameset.html
+2 -4	metaprl/support/shell/inputs/layout.js
+14 -0	metaprl/support/shell/inputs/output.html
+1 -1	metaprl/support/shell/inputs/output.js
+1 -11	metaprl/support/shell/inputs/style.css
+2 -2	metaprl/support/shell/inputs/system.html
+9 -1	metaprl/support/shell/inputs/system.js
+2 -0	metaprl/support/shell/session_io.mli
+44 -2	metaprl/support/shell/session_io.mll
+69 -81	metaprl/support/shell/shell_browser.ml
+0 -1	metaprl/support/shell/shell_fs.ml