From e6d5b8b8b19ae60f76f34563b0a8eca4fb89e6e2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 2 May 2000 12:05:41 +0000
Subject: Added proof-assistant-keymap and commands for defining insert keys.

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

(limited to 'CHANGES')

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