From d6648209d0e27120a96b6b2f4752551522a2024f Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 25 Aug 1999 19:15:41 +0000
Subject: added qed_spec_mp;

---
 isa/isa-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index e4b77450..de749a36 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -93,7 +93,7 @@
   :type '(repeat string))
 
 (defcustom isa-keywords-save
-  '("qed")
+  '("qed" "qed_spec_mp")
   ;; Related commands, but having different types, so PG
   ;; won't bother support them:
   ;; "result" "uresult" "bind_thm" "store_thm"
-- 
cgit v1.2.3