Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-19 21:49:30 -0700 (Mon, 19 Apr 2004)
Revision: 345
Log message:

      Some minor changes to the browser display mode.  This *should*
      add:
         1. Catch chdir exceptions, so the browser doesn't abort
            if you give it a bad directory.
         2. The Short/Long mode is now handled in your browser,
            in Javascript.  If you refresh, you get short mode.
         3. Sessions.  This really only makes sense with threads,
            so you will normally use session/2.
         4. Use <span> instead of <font>.
      

Changes	Path
+1 -1	libmojave/stdlib/lm_rformat_html.ml
+4 -1	libmojave/stdlib/lm_string_util.ml