Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-16 00:53:11 -0700 (Wed, 16 Jun 2004)
Revision: 5907
Log message:

      I thought I should commit before we get too out of date.
      This is a partial commit; I'll finish off the loose ends
      in the morning.
      
      This adds the /fs path for viewing the Unix filesystem.
      
      Notes on this commit:
         1. Removed the "view_*" functions in Shell_core.  These
            duplicated work, and were pretty pointless.
      
            However, in the browser, I see the following problem:
            the "refresh" function is not called correctly.  The symptom
            is that the display is in "prl" mode.  The solution, until
            I fix in the morning, is to call "refresh ()" explicitly.
      
         2. Use cd "/fs" to view the filesystem.  However, file editing
            with "cd" is not currently implemented; it is waiting on
            the recent discussion on "proposal for handling pwd()"
            on the onlynews@metaprl.org list.
      
         3. Shell identifiers now strings.  Sorry for this change, but
            it makes the implementation much easier.  The proper
            path is https://..../session/id1/frameset.
      

Changes  Path
+1 -1 metaprl/mllib/setup.ml
+25 -0 metaprl/support/display/summary.ml
+3 -0 metaprl/support/display/summary.mli
+12 -7 metaprl/support/shell/browser_resource.ml
+3 -2 metaprl/support/shell/browser_resource.mli
+1 -2 metaprl/support/shell/session_io.mli
+8 -38 metaprl/support/shell/session_io.mll
+1 -2 metaprl/support/shell/session_sig.mlz
+10 -8 metaprl/support/shell/shell.ml
+1 -1 metaprl/support/shell/shell.mli
+19 -9 metaprl/support/shell/shell_browser.ml
+41 -70 metaprl/support/shell/shell_core.ml
+2 -1 metaprl/support/shell/shell_core.mli
+9 -48 metaprl/support/shell/shell_current.ml
+241 -21 metaprl/support/shell/shell_fs.ml
+1 -3 metaprl/support/shell/shell_internal_sig.mlz
+9 -1 metaprl/support/shell/shell_package.ml
+11 -0 metaprl/support/shell/shell_root.ml
+7 -0 metaprl/support/shell/shell_root.mli
+4 -0 metaprl/support/shell/shell_rule.ml
+2 -0 metaprl/support/shell/shell_sig.mlz
+13 -49 metaprl/support/shell/shell_syscall.ml
+0 -3 metaprl/support/shell/shell_syscall.mli
+25 -12 metaprl/support/shell/shell_util.ml
+5 -0 metaprl/support/shell/shell_util.mli
+15 -1 metaprl/tactics/proof/exn_boot.ml