Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-16 12:48:33 -0700 (Fri, 16 Apr 2004)
Revision: 5661
Log message:

      Trying to get output to display correctly in the browser.
      

Changes  Path
+20 -9 metaprl/editor/ml/shell_mp.ml
+16 -15 metaprl/mllib/http_simple.ml
+6 -4 metaprl/support/shell/browser_display_term.ml
+2 -1 metaprl/support/shell/browser_display_term.mli
+2 -0 metaprl/support/shell/inputs/login.html
+17 -5 metaprl/support/shell/shell_browser.ml