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

      Separate "shell" sessions from "browser" sessions.
      
      Bah, browser identifiers are back to integers...  Sorry about the
      change yet again, the proper URLs are /session/%d/...
      

Changes	Path
+8 -26	libmojave/stdlib/lm_thread_shell.ml
+3 -3	libmojave/stdlib/lm_thread_shell.mli