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