Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-05-04 14:36:46 -0700 (Tue, 04 May 2004)
Revision: 5754
Log message:

      Add a "View" window to control what is displayed in the browser.
      

Changes	Path
+3 -3	metaprl/support/shell/Files
+37 -3	metaprl/support/shell/browser_resource.ml
+1 -0	metaprl/support/shell/browser_resource.mli
+93 -31	metaprl/support/shell/shell.ml
+4 -0	metaprl/support/shell/shell.mli
+22 -17	metaprl/support/shell/shell_browser.ml
+5 -5	metaprl/support/shell/shell_java.ml
+89 -33	metaprl/support/shell/shell_package.ml
+7 -0	metaprl/support/shell/shell_sig.mlz
+6 -3	metaprl/support/shell/shell_state.ml