1.1 --- a/etc/isar-keywords-ZF.el Sat Nov 14 18:15:21 2009 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Sat Nov 14 18:16:13 2009 +0100
1.3 @@ -237,6 +237,7 @@
1.4 "open"
1.5 "output"
1.6 "overloaded"
1.7 + "pervasive"
1.8 "recursor_eqns"
1.9 "shows"
1.10 "structure"