Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-26 11:07:02 -0700 (Mon, 26 Apr 2004)
Revision: 5728
Log message:

      A slight change to the browser interface.
      

Changes  Path
+27 -22 metaprl/support/shell/browser_display_term.ml
+7 -2 metaprl/support/shell/browser_display_term.mli
+161 -86 metaprl/support/shell/browser_resource.ml
+20 -8 metaprl/support/shell/browser_resource.mli
+0 -3 metaprl/support/shell/inputs/buttons.html
+33 -10 metaprl/support/shell/inputs/layout.js
+104 -117 metaprl/support/shell/shell_browser.ml
+0 -0 metaprl/support/shell/shell_browser.mli
+2 -2 metaprl/support/tactics/auto_tactic.ml
+2 -2 metaprl/support/tactics/dtactic.ml