From 8b416d39d8322aaad999520dbc9ec56fc88ac0d4 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 30 Jun 2000 10:45:20 +0000
Subject: added method_setup;

---
 isar/isar-keywords.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 23c7e789..2abe03f6 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -70,6 +70,7 @@
     "lemmas"
     "let"
     "local"
+    "method_setup"
     "moreover"
     "next"
     "nonterminals"
@@ -265,6 +266,7 @@
     "judgment"
     "lemmas"
     "local"
+    "method_setup"
     "nonterminals"
     "oracle"
     "parse_ast_translation"
-- 
cgit v1.2.3