Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-20 08:54:04 -0700 (Sun, 20 Jun 2004)
Revision: 5957
Log message:

      Fixed Javascript string escapes.
      

Changes	Path
+4 -4	metaprl/support/shell/browser_resource.ml
+2 -2	metaprl/support/shell/inputs/edit.html
+9 -6	metaprl/support/shell/inputs/edit.js
+2 -6	metaprl/support/shell/inputs/layout.js
+16 -14	metaprl/support/shell/shell_browser.ml