Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-27 14:04:27 -0700 (Tue, 27 Apr 2004)
Revision: 5732
Log message:

      Added some more buttons to the browser interface.
      

Changes	Path
+2 -0	metaprl/mk/make_config.sh
+40 -5	metaprl/mllib/http_simple.ml
+9 -5	metaprl/mllib/http_simple.mli
+1 -1	metaprl/support/shell/Files
+2 -2	metaprl/support/shell/browser_copy.mli
Deleted	metaprl/support/shell/browser_display_term.ml
Deleted	metaprl/support/shell/browser_display_term.mli
+39 -9	metaprl/support/shell/browser_resource.ml
+2 -1	metaprl/support/shell/browser_resource.mli
Added	metaprl/support/shell/browser_state.ml
Properties	metaprl/support/shell/browser_state.ml
Added	metaprl/support/shell/browser_state.mli
Properties	metaprl/support/shell/browser_state.mli
+1 -0	metaprl/support/shell/inputs/content.html
+1 -1	metaprl/support/shell/inputs/frameset.html
+33 -0	metaprl/support/shell/inputs/layout.js
+1 -0	metaprl/support/shell/inputs/login.html
+12 -0	metaprl/support/shell/inputs/style.css
+7 -4	metaprl/support/shell/inputs/validate.js
+1 -1	metaprl/support/shell/proof_edit.ml
+8 -14	metaprl/support/shell/shell.ml
+180 -45	metaprl/support/shell/shell_browser.ml
+1 -1	metaprl/support/shell/shell_browser.mli
+1 -1	metaprl/support/shell/shell_package.ml
+1 -1	metaprl/support/shell/shell_root.ml
+1 -1	metaprl/support/shell/shell_state.ml
+2 -0	metaprl/theories/ocaml_doc/book2.tex