Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-09 13:56:34 -0700 (Wed, 09 Jun 2004)
Revision: 5870
Log message:

      Updated the browser to the new state model.
      
      Note: we still get less parallelism than we would hope, because
      refinement shares the (unique) output channel.  This could be fixed
      by making stdout/stderr private variables.  Or we could just accept
      that output will be jumbled if multiple threads are running.
      
      I haven't actually enabled multiple threads yet in Http_simple.
      That's next.
      

Changes	Path
+28 -15	metaprl/support/shell/browser_copy.mll
+146 -118	metaprl/support/shell/browser_state.ml
+104 -43	metaprl/support/shell/shell_browser.ml