diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-10 13:13:29 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-10 13:13:29 +0000 |
| commit | be56a913dabd38992942cc94edb4d085195f6b97 (patch) | |
| tree | 0b919f8ed7941df8848312dd75c2c98b7773ed1f /BUGS | |
| parent | d23746a8862533521a7492c67e30bf986762e49e (diff) | |
introduced section for FSF Emacs
Diffstat (limited to 'BUGS')
| -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 ======================= |