diff options
| -rw-r--r-- | etc/bug-notes.txt | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/etc/bug-notes.txt b/etc/bug-notes.txt index e00a23e7..c4aaf21d 100644 --- a/etc/bug-notes.txt +++ b/etc/bug-notes.txt @@ -6,6 +6,22 @@ Test cases for PG and/or Emacs bugs. ---------------- +* Coq, and others bug: synchronization not gained until second line. + +Test in Coq buffer: + + Print foo. + +Should give error, but PG ignores it and colours command blue. +Similar errors for some other provers. + +[ Now fixed in 3.2pre ] + + + + +---------------- + * XEmacs bug: buffer-syntactic-context-depth returns weird values Seems to depend on previous history. Test in Coq buffer: |