Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-19 21:09:03 -0700 (Mon, 19 Apr 2004)
Revision: 5677
Log message:

      When a non-existing theory is specified in a URL, print a Not_found error page,
      instead of dying with an uncaught exception.
      

Changes	Path
+10 -7	metaprl/support/shell/shell_browser.ml