Keyword 'includes' gone.
1.1 --- a/etc/isar-keywords-ZF.el Thu Nov 06 11:52:50 2008 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Thu Nov 06 12:29:51 2008 +0100
1.3 @@ -226,7 +226,6 @@
1.4 "if"
1.5 "imports"
1.6 "in"
1.7 - "includes"
1.8 "induction"
1.9 "infix"
1.10 "infixl"
2.1 --- a/etc/isar-keywords.el Thu Nov 06 11:52:50 2008 +0100
2.2 +++ b/etc/isar-keywords.el Thu Nov 06 12:29:51 2008 +0100
2.3 @@ -271,7 +271,6 @@
2.4 "if"
2.5 "imports"
2.6 "in"
2.7 - "includes"
2.8 "infix"
2.9 "infixl"
2.10 "infixr"
3.1 --- a/src/Pure/Isar/isar_syn.ML Thu Nov 06 11:52:50 2008 +0100
3.2 +++ b/src/Pure/Isar/isar_syn.ML Thu Nov 06 12:29:51 2008 +0100
3.3 @@ -22,7 +22,7 @@
3.4 "\\<rightharpoonup>", "\\<rightleftharpoons>", "\\<subseteq>", "]",
3.5 "advanced", "and", "assumes", "attach", "begin", "binder",
3.6 "constrains", "defines", "fixes", "for", "identifier", "if",
3.7 - "imports", "in", "includes", "infix", "infixl", "infixr", "is",
3.8 + "imports", "in", "infix", "infixl", "infixr", "is",
3.9 "notes", "obtains", "open", "output", "overloaded", "shows",
3.10 "structure", "unchecked", "uses", "where", "|"];
3.11