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"