From 73a9a2a2b35e7e9d0a583b2b2f02bde93596c060 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 May 2000 18:40:34 +0000
Subject: Note about sync problem

---
 etc/bug-notes.txt | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

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
@@ -4,6 +4,22 @@ $Id$
 
 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
-- 
cgit v1.2.3