# HG changeset patch
# User wenzelm
# Date 1258218973 -3600
# Node ID 29106208ccf7b55c525f39046788c83cbb1e2579
# Parent  29d8aaeb56e55fb00df2299373d0c2fa705412fe
updated keywords;

diff -r 29d8aaeb56e5 -r 29106208ccf7 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sat Nov 14 18:15:21 2009 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Nov 14 18:16:13 2009 +0100
@@ -237,6 +237,7 @@
     "open"
     "output"
     "overloaded"
+    "pervasive"
     "recursor_eqns"
     "shows"
     "structure"
diff -r 29d8aaeb56e5 -r 29106208ccf7 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Nov 14 18:15:21 2009 +0100
+++ b/etc/isar-keywords.el	Sat Nov 14 18:16:13 2009 +0100
@@ -204,6 +204,7 @@
     "refute_params"
     "remove_thy"
     "rep_datatype"
+    "repdef"
     "sect"
     "section"
     "setup"
@@ -298,6 +299,7 @@
     "outputs"
     "overloaded"
     "permissive"
+    "pervasive"
     "post"
     "pre"
     "rename"
@@ -531,6 +533,7 @@
     "pcpodef"
     "recdef_tc"
     "rep_datatype"
+    "repdef"
     "specification"
     "subclass"
     "sublocale"