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