Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-21 06:21:46 -0700 (Mon, 21 Jun 2004)
Revision: 5981
Log message:

      For some reason IE insists on caching the output page.
      Allow URLs of the form /nocache/xxx/url, where xxx is a random number.
      

Changes  Path
+2 -0 metaprl/support/shell/browser_resource.ml
+1 -1 metaprl/support/shell/inputs/menuserver.js
+12 -1 metaprl/support/shell/inputs/system.js
+6 -2 metaprl/support/shell/shell_browser.ml