Mentioned proof-case-fold-search

1 files changed, 5 insertions, 0 deletions

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.