diff options
| -rw-r--r-- | BUGS | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -43,16 +43,19 @@ allocation. Maybe some of the spans aren't removed properly. Setting a limit on the size of the process buffer doesn't seem to help. (1998/10/06: Is this bug still present? Test examples?) -*`proof-zap-commas-region' does not work for Emacs 20.2 on - lego/example.l . On *initially* fontifying the buffer, - commas are not zapped. However, when entering text, commata are - zapped correctly. Workaround: don't stare too much at commata - *`proof-find-next-terminator' (bound to C-c C-e) doesn't work properly. Workaround: use other means to navigate in a proof scipt buffer. +FSF Emacs specific bugs +======================= + +*`proof-zap-commas-region' does not work for Emacs 20.2 on + lego/example.l . On *initially* fontifying the buffer, + commas are not zapped. However, when entering text, commata are + zapped correctly. Workaround: don't stare too much at commata + LEGO Proof General Bugs ======================= |