1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 1b4ac41d..7d9ec30a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,8 @@
 Summary of Changes for Proof General 2.2 from 2.0
 -------------------------------------------------
 
+* Tweaks for Isabelle syntax.
+
 
 
 Only in the developer's release: