From c8a997a20215220f2f79ffc1cb34de758e73538c Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 17 Jan 2013 09:09:29 +0000
Subject: document latest changes

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CHANGES')

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