From e09d5c0fd211a29fff99eb3c09c9afe3d2f79ec8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 11 Oct 2010 00:41:39 +0000
Subject: proof-use-parser-cache=t default

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

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
-- 
cgit v1.2.3