diff options
| author | David Aspinall | 2000-05-25 18:40:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 18:40:34 +0000 |
| commit | 73a9a2a2b35e7e9d0a583b2b2f02bde93596c060 (patch) | |
| tree | c9d578e2b8cb59fd35d4501ee69b624ecc349719 | |
| parent | 1c7cc9e1525baf65117d814573c29d974614fe4b (diff) | |
Note about sync problem
| -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: |