log

age author description
Sun, 17 Jun 2001 11:28:53 +0000 Eli Zaretskii (list-buffers-noselect): Add help-echo to mouse-highlighted text.
Sun, 17 Jun 2001 11:25:12 +0000 Eli Zaretskii (tex-validate-buffer): Add help-echo to mouse-highlighted text.