etc/isar-keywords-ZF.el
changeset 13364 d3c7d05d8839
parent 12954 850609c057e2
child 13407 d128b5915f6b
     1.1 --- a/etc/isar-keywords-ZF.el	Tue Jul 16 16:29:36 2002 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Jul 16 18:25:48 2002 +0200
     1.3 @@ -189,6 +189,7 @@
     1.4      "is"
     1.5      "monos"
     1.6      "notes"
     1.7 +    "open"
     1.8      "output"
     1.9      "overloaded"
    1.10      "recursor_eqns"