From a05bd4c77eb337e21bfac4ec4adb1e834cc56940 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Feb 1999 13:30:41 +0000
Subject: Mentioned proof-case-fold-search

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

diff --git a/CHANGES b/CHANGES
index 49626359..b5402cd2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -12,3 +12,8 @@ Summary of Changes since Proof General 2.0
 
 * Bug fix for long-lines with funny characters causing
   ^G's in Solaris.
+
+* Bug fix for case-insensitive matching.  Added 
+  proof-case-fold-search configuration variable to
+  allow for proof script languages with case-insensitive 
+  syntax.
-- 
cgit v1.2.3