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 |