Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-13 21:34:44 -0700 (Sun, 13 Jun 2004)
Revision: 5898
Log message:

      Fixed the problem with !restart.
      Added the commands to the File menu.
      

Changes  Path
+7 -5 metaprl/mllib/http_simple.ml
+1 -1 metaprl/support/shell/browser_copy.mll
+4 -2 metaprl/support/shell/browser_resource.ml
+2 -0 metaprl/support/shell/browser_syscall.ml
+2 -1 metaprl/support/shell/shell.ml
+10 -12 metaprl/support/shell/shell_browser.ml
+2 -0 metaprl/support/shell/shell_sig.mlz