1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 4271001293..5cf6e5ae6e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -48,6 +48,8 @@ Vernacular commands
   conversion tests. It generalizes commands Opaque and Transparent by
   introducing a range of levels. Lower levels are assigned to constants
   that should be expanded first.
+- New command "Print Assumptions" to display all variables, parameters
+  or axioms a theorem or definition relies on.
 
 Libraries (DOC TO CHECK)