Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-05-04 20:14:54 -0700 (Tue, 04 May 2004)
Revision: 364
Log message:
o Added term "handles" in browser mode. These allow more precise
term selections.
o "src" mode is parsable in most cases, at least in MMC.
Changes | Path |
+43 -17 | libmojave/stdlib/lm_rformat_html.ml |
+13 -4 | libmojave/stdlib/lm_rformat_html.mli |