Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-20 17:26:43 -0700 (Sun, 20 Jun 2004)
Revision: 5960
Log message:

      Made editing much more robust, so that you don't lost work
      on a restart.
      

Changes	Path
+6 -0	metaprl/mllib/line_buffer.ml
+1 -0	metaprl/mllib/line_buffer.mli
+1 -0	metaprl/support/shell/Files
+1 -1	metaprl/support/shell/browser_copy.mli
+7 -42	metaprl/support/shell/browser_copy.mll
Added	metaprl/support/shell/browser_edit.ml
Properties	metaprl/support/shell/browser_edit.ml
Added	metaprl/support/shell/browser_edit.mli
Properties	metaprl/support/shell/browser_edit.mli
+2 -11	metaprl/support/shell/browser_resource.ml
+0 -4	metaprl/support/shell/browser_resource.mli
+6 -3	metaprl/support/shell/inputs/edit.html
+140 -7	metaprl/support/shell/inputs/edit.js
+1 -1	metaprl/support/shell/inputs/style.css
+22 -11	metaprl/support/shell/session.ml
+6 -0	metaprl/support/shell/session.mli
+1 -9	metaprl/support/shell/session_sig.mlz
+54 -16	metaprl/support/shell/shell_browser.ml
+14 -18	metaprl/support/shell/shell_current.ml