Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-10 17:01:13 -0700 (Thu, 10 Jun 2004)
Revision: 5880
Log message:

      View options should now be more sensible.
      

Changes	Path
+2 -1	metaprl/refiner/reflib/Files
Added	metaprl/refiner/reflib/env_boot.ml
Properties	metaprl/refiner/reflib/env_boot.ml
Added	metaprl/refiner/reflib/env_boot.mli
Properties	metaprl/refiner/reflib/env_boot.mli
+1 -10	metaprl/support/shell/browser_copy.mll
+11 -10	metaprl/support/shell/browser_resource.ml
+32 -27	metaprl/support/shell/browser_state.ml
+8 -1	metaprl/support/shell/shell.ml
+4 -14	metaprl/support/shell/shell_package.ml
+12 -6	metaprl/support/shell/shell_syscall.ml
+33 -26	metaprl/support/shell/shell_util.ml
+0 -1	metaprl/support/shell/shell_util.mli