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

      Added message pane, but only toploop output is captured to the message window.
      The next step is to divert exception output to the browser.
      

Changes	Path
+5 -6	metaprl/editor/ml/shell_mp.ml
+35 -19	metaprl/refiner/reflib/rformat.ml
+38 -13	metaprl/support/shell/browser_display_term.ml
+2 -9	metaprl/support/shell/browser_display_term.mli
+24 -6	metaprl/support/shell/inputs/layout.js
+5 -5	metaprl/support/shell/inputs/pagelong.html
+5 -5	metaprl/support/shell/inputs/pageshort.html
+5 -5	metaprl/support/shell/shell_browser.ml