From 91c0a842515ebe696e7155b5a65c61fc5abb3f90 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Tue, 25 Apr 2000 14:49:48 +0000
Subject: removed "simpset" minor keyword;

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

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 7645cce8..48016b90 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -22,7 +22,6 @@
     "is"
     "monos"
     "output"
-    "simpset"
     "where"))
 
 (defconst isar-keywords-control
-- 
cgit v1.2.3