From 64f5c3275097b3004937aeb3e287a4c6123c62bb Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Fri, 11 Feb 2000 11:09:29 +0000
Subject: added "judgment";

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

(limited to 'isar/isar-keywords.el')

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index a16aac0b..957ba0e8 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -113,6 +113,7 @@
     "global"
     "inductive"
     "inductive_cases"
+    "judgment"
     "lemmas"
     "local"
     "nonterminals"
-- 
cgit v1.2.3