From 239f92842724c199b3d116b2ffa62c7a386ed146 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Thu, 6 Jan 2000 15:04:18 +0000
Subject: added "where";

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

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index e021430f..c00b99f2 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -23,7 +23,8 @@
     "is"
     "monos"
     "output"
-    "simpset"))
+    "simpset"
+    "where"))
 
 (defconst isar-keywords-control
   '("ProofGeneral\\.context_thy_only"
-- 
cgit v1.2.3