diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-06 18:27:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-06 18:27:29 +0000 |
| commit | 8e565189e1f86154e34483c02011a4268a5b1814 (patch) | |
| tree | 82dcfcd3995b17889d1081836f67b7c942eca3c2 | |
| parent | 17f8167a4d9913cf1357312a0e6b90c53192b7c1 (diff) | |
Fix one texi-docstring-magic, find another
| -rw-r--r-- | todo | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -499,8 +499,8 @@ X (Low) e.g. probably not worth spending time on *** D Fix INFO-DIR-ENTRY in doc/ProofGeneral.texi to put Proof General info file into a good place. -*** D texi-docstring-magic: first time deffn's, etc, are added, whitespace - after magic comment is left. +*** D texi-docstring-magic: difference between GNU Emacs and XEmacs regexps + GNU Emacs gives buggy behaviour with "@lisp" regions. *** B Doc enhancement: explain conditions for switching buffers and auto switching of scripting buffers. (See doc of |