1.1 --- a/etc/isar-keywords.el Wed Aug 18 11:09:40 2004 +0200
1.2 +++ b/etc/isar-keywords.el Wed Aug 18 11:44:17 2004 +0200
1.3 @@ -204,7 +204,7 @@
1.4 "fixes"
1.5 "hide_action"
1.6 "hints"
1.7 - "import"
1.8 + "imports"
1.9 "in"
1.10 "includes"
1.11 "induction"