updated CHANGES for Coq.

1 files changed, 2 insertions, 0 deletions

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]