Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-20 20:40:44 -0700 (Sun, 20 Jun 2004)
Revision: 5962
Log message:

      Fixed some browser problems with IE.
      Note: you can now use line numbers when editing files.
      This update was performed using the browser interface.
      

Changes	Path
+2 -1	metaprl/mllib/http_simple.ml
+1 -1	metaprl/mllib/line_buffer.ml
+26 -6	metaprl/support/shell/browser_copy.mll
+52 -10	metaprl/support/shell/browser_edit.ml
+7 -3	metaprl/support/shell/browser_edit.mli
+2 -1	metaprl/support/shell/browser_resource.ml
+1 -1	metaprl/support/shell/browser_sig.mlz
+3 -1	metaprl/support/shell/browser_syscall.ml
+5 -8	metaprl/support/shell/inputs/edit.html
+7 -5	metaprl/support/shell/inputs/edit.js
+2 -0	metaprl/support/shell/inputs/layout.js
+1 -1	metaprl/support/shell/inputs/rule.html
+2 -0	metaprl/support/shell/inputs/rule.js
+3 -0	metaprl/support/shell/inputs/style.css
+1 -1	metaprl/support/shell/inputs/system.js
+7 -5	metaprl/support/shell/shell_browser.ml
+1 -0	metaprl/support/shell/shell_fs.ml
+1 -0	metaprl/support/shell/shell_package.ml
+1 -3	metaprl/support/shell/shell_syscall.ml
+6 -0	metaprl/support/shell/shell_util.ml
+1 -0	metaprl/support/shell/shell_util.mli