From dcfc03d0fc742613700ca4106d14a95fe22c31bb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Mar 2003 21:47:02 +0000
Subject: Remove newlines patch for Coq

---
 CHANGES | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/CHANGES b/CHANGES
index c20d4af0..e185cd53 100644
--- a/CHANGES
+++ b/CHANGES
@@ -14,7 +14,7 @@
 
     Proof General can now (almost) be reliably run as compiled code.
 
-    *** Please help me iron out any finaly difficulties 
+    *** Please help me iron out any final difficulties 
         by reporting problems ***
   
     However, compiled Emacs Lisp files sometimes have incompatibilities
@@ -79,14 +79,6 @@ NB: Not yet enabled for Isabelle/Isar.
 Electric terminator menu option more visible. 
 Reduce contrast for mouse highlighting of regions.
 
-*** Support formatted input which contains newlines [for Coq]
-
-A patch from Stefan Monnier, to allow Coq input to have newlines
-remaining, so that input formatting is not broken.  A much better way
-to address this would be to alter the Coq output routines so that they
-do not print multiple identical prompts for continued lines.  
-[this is in testing: please notify me of problems in other provers]
-
 
 ** GNU Emacs compatibility, simplified font-lock, handling nested comments
 
-- 
cgit v1.2.3