Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-18 11:09:37 -0700 (Fri, 18 Jun 2004)
Revision: 5940
Log message:

      Add the session and directory to the title bar.
      

Changes	Path
+2 -0	metaprl/support/shell/inputs/layout.js
+1 -0	metaprl/support/shell/shell_browser.ml