Keyword 'includes' gone.
authorballarin
Thu Nov 06 12:29:51 2008 +0100 (2008-11-06)
changeset 2872121170e10c745
parent 28720 a08c37b478b2
child 28722 bdb694e18bf8
Keyword 'includes' gone.
etc/isar-keywords-ZF.el
etc/isar-keywords.el
src/Pure/Isar/isar_syn.ML
     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