Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-21 21:45:14 -0700 (Mon, 21 Jun 2004)
Revision: 5992
Log message:

      Copying Jason's branch commit to the trunk.
      

Changes	Path
+13 -2	metaprl/mllib/http_simple.ml
+1 -0	metaprl/support/shell/browser_copy.mli
+1 -0	metaprl/support/shell/browser_copy.mll
+0 -2	metaprl/support/shell/browser_resource.ml
+7 -2	metaprl/support/shell/inputs/edit.js
+5 -5	metaprl/support/shell/inputs/start.html
+3 -4	metaprl/support/shell/inputs/style.css
+4 -1	metaprl/support/shell/inputs/system.js
+4 -3	metaprl/support/shell/shell_browser.ml
+5 -1	metaprl/support/shell/shell_state.ml
+1 -0	metaprl/support/shell/shell_state.mli
+3 -3	metaprl/support/tactics/auto_tactic.ml
+3 -3	metaprl/support/tactics/dtactic.ml