Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-08 23:24:13 -0800 (Wed, 08 Dec 2004)
Revision: 6347
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.