Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-17 23:32:00 -0700 (Thu, 17 Jun 2004)
Revision: 5935
Log message:

      Adding the MetaPRL "shortcut" icon (both Mozilla and IE should be happy, hopefully).
      

Changes	Path
+2 -1	metaprl/doc/htmlman/default.html
+2 -0	metaprl/support/shell/inputs/access.html
+2 -0	metaprl/support/shell/inputs/edit-done.html
+2 -0	metaprl/support/shell/inputs/edit-help.html
+2 -0	metaprl/support/shell/inputs/edit.html
+2 -0	metaprl/support/shell/inputs/empty.html
+2 -0	metaprl/support/shell/inputs/frameset.html
+2 -0	metaprl/support/shell/inputs/login.html
+3 -1	metaprl/support/shell/inputs/output.html
+2 -0	metaprl/support/shell/inputs/reload.html
+2 -0	metaprl/support/shell/inputs/start.html
+2 -0	metaprl/support/shell/inputs/system.html
+2 -0	metaprl/support/shell/inputs/welcome.html
+1 -1	metaprl/support/shell/shell_browser.ml