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