proof-use-parser-cache=t default

1 files changed, 8 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index ac17de28..596b71ab 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,13 @@
 -*- outline -*-  
 
+* Changes of Proof General 4.1 from Proof General 4.0
+
+** Generic changes
+
+*** Parsing now uses cache by default (proof-use-parser-cache=t).
+
+
+
 * Main Changes for Proof General 4.0 from 3.7.1
 
 ** Install/support changes