1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index af1c1c55..984f7ab4 100644
--- a/CHANGES
+++ b/CHANGES
@@ -9,6 +9,10 @@
 
   Specific menus added for Coq, Isabelle.
 
+*** Proof assistant specific keymap added
+
+  Keybindings for proof assistant now begin with "C-c a".
+
 *** Improved behaviour of electric terminator
 
 *** Efficiency improvement in parsing