From 1859db80d88a5abd7dba87e686916347c5f57415 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Mon, 9 Jul 2012 20:46:32 +0000
Subject: updated CHANGES for Coq.

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 6783e253..10e07512 100644
--- a/CHANGES
+++ b/CHANGES
@@ -49,6 +49,8 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 
 *** New setting for hiding additional goals from the *goals* buffer
 
+*** New commands for Print/Check/Show with Printing All flag
+
 ** HOL Light  [WORK IN PROGRESS]
 
 *** Basic support now works, see hol-light directory  [WORK IN PROGRESS]
-- 
cgit v1.2.3