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