Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-17 22:44:31 -0700 (Thu, 17 Jun 2004)
Revision: 5932
Log message:

      - The "/manual/filename" URIs now serve the documentation from the
        doc/htmlman directory in the local MetaPRL installation.
      - Added a bit of content to the MetaPRL welcome page.
      - The body page should not reset the hostname to the default value.
      

Changes	Path
+1 -1	metaprl/support/shell/inputs/body.html
+20 -3	metaprl/support/shell/inputs/welcome.html
+9 -0	metaprl/support/shell/shell_browser.ml