1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 55034825..4dec4118 100644
--- a/CHANGES
+++ b/CHANGES
@@ -21,7 +21,7 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
     to compile modules in parallel in the background while Proof
     General stays responsive.
 
-*** Support for bullets and braces for Prooftree.
+*** Support for bullets, braces and Grab Existential Variables for Prooftree.
 
 * Changes of Proof General 4.2 from Proof General 4.1