Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-21 21:11:40 -0700 (Mon, 21 Jun 2004)
Revision: 5990
Log message:

      This should fix the problem with saving.
      

Changes	Path
+1 -0	metaprl-branches/unlabeled-1.13.2/support/shell/browser_copy.mli
+1 -0	metaprl-branches/unlabeled-1.15.2/support/shell/shell_state.mli
+3 -4	metaprl-branches/unlabeled-1.23.2/support/shell/inputs/style.css
+1 -0	metaprl-branches/unlabeled-1.24.2/support/shell/browser_copy.mll
+13 -2	metaprl-branches/unlabeled-1.26.2/mllib/http_simple.ml
+3 -3	metaprl-branches/unlabeled-1.28.2/support/tactics/auto_tactic.ml
+5 -1	metaprl-branches/unlabeled-1.31.2/support/shell/shell_state.ml
+0 -2	metaprl-branches/unlabeled-1.31.4/support/shell/browser_resource.ml
+3 -3	metaprl-branches/unlabeled-1.35.2/support/tactics/dtactic.ml
+4 -3	metaprl-branches/unlabeled-1.59.4/support/shell/shell_browser.ml
+4 -1	metaprl-branches/unlabeled-1.6.4/support/shell/inputs/system.js
+7 -2	metaprl-branches/unlabeled-1.7.2/support/shell/inputs/edit.js
+5 -5	metaprl-branches/unlabeled-1.7.2/support/shell/inputs/start.html