Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-08 23:24:13 -0800 (Wed, 08 Dec 2004)
Revision: 675
Log message:

      Browser interface fixes:
      - Menu labels need to be HTML escaped.
      - "slot" mechanism should use the "src" display forms form the local theory,
        not for the "top" bookmark.
      

Changes	Path
+33 -0	libmojave/stdlib/lm_string_util.ml
+1 -0	libmojave/stdlib/lm_string_util.mli