Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-16 00:53:10 -0700 (Wed, 16 Jun 2004)
Revision: 394
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
+79 -31	libmojave/stdlib/lm_thread_shell.ml
+14 -6	libmojave/stdlib/lm_thread_shell.mli