etc/isar-keywords-ZF.el
changeset 15141 a95c2ff210ba
parent 15135 f00857c7539b
child 15407 9e85d2b04867
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Aug 18 11:09:40 2004 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Aug 18 11:44:17 2004 +0200
     1.3 @@ -193,7 +193,7 @@
     1.4      "elimination"
     1.5      "files"
     1.6      "fixes"
     1.7 -    "import"
     1.8 +    "imports"
     1.9      "in"
    1.10      "includes"
    1.11      "induction"