From 56115fcdb393c1133ac2ba65fb6ec73f579fb689 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Jan 1999 16:22:06 +0000
Subject: Ambitiously mentioned bug fix for Solaris problem

---
 CHANGES | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHANGES b/CHANGES
index 1ddfc95e..49626359 100644
--- a/CHANGES
+++ b/CHANGES
@@ -9,3 +9,6 @@ Summary of Changes since Proof General 2.0
   (incomplete)
 
 * Bug fix for Isabelle theory file mode.
+
+* Bug fix for long-lines with funny characters causing
+  ^G's in Solaris.
-- 
cgit v1.2.3