# HG changeset patch
# User wenzelm
# Date 1001686526 -7200
# Node ID 7067101463c020c4e0231cb6c08deca8ba383764
# Parent  9ab0792b2da43186836c66fe1e384014aa5e35ca
updated;

diff -r 9ab0792b2da4 -r 7067101463c0 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Sep 28 14:10:01 2001 +0200
+++ b/etc/isar-keywords.el	Fri Sep 28 16:15:26 2001 +0200
@@ -190,6 +190,7 @@
     "output"
     "outputs"
     "overloaded"
+    "permissive"
     "post"
     "pre"
     "rename"