1.1 --- a/etc/isar-keywords.el	Tue Jun 10 14:32:58 2008 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue Jun 10 15:30:01 2008 +0200
     1.3 @@ -41,11 +41,11 @@
     1.4      "class_deps"
     1.5      "classes"
     1.6      "classrel"
     1.7 +    "code_abort"
     1.8      "code_class"
     1.9      "code_const"
    1.10      "code_datatype"
    1.11      "code_deps"
    1.12 -    "code_exception"
    1.13      "code_include"
    1.14      "code_instance"
    1.15      "code_library"
    1.16 @@ -257,7 +257,6 @@
    1.17      "constrains"
    1.18      "contains"
    1.19      "defines"
    1.20 -    "distinct"
    1.21      "file"
    1.22      "fixes"
    1.23      "for"
    1.24 @@ -268,12 +267,10 @@
    1.25      "imports"
    1.26      "in"
    1.27      "includes"
    1.28 -    "induction"
    1.29      "infix"
    1.30      "infixl"
    1.31      "infixr"
    1.32      "initially"
    1.33 -    "inject"
    1.34      "inputs"
    1.35      "internals"
    1.36      "is"
    1.37 @@ -413,10 +410,10 @@
    1.38      "class"
    1.39      "classes"
    1.40      "classrel"
    1.41 +    "code_abort"
    1.42      "code_class"
    1.43      "code_const"
    1.44      "code_datatype"
    1.45 -    "code_exception"
    1.46      "code_include"
    1.47      "code_instance"
    1.48      "code_library"
    1.49 @@ -476,7 +473,6 @@
    1.50      "recdef"
    1.51      "record"
    1.52      "refute_params"
    1.53 -    "rep_datatype"
    1.54      "setup"
    1.55      "simproc_setup"
    1.56      "statespace"
    1.57 @@ -507,6 +503,7 @@
    1.58      "nominal_primrec"
    1.59      "pcpodef"
    1.60      "recdef_tc"
    1.61 +    "rep_datatype"
    1.62      "specification"
    1.63      "subclass"
    1.64      "termination"

     2.1 --- a/lib/jedit/isabelle.xml	Tue Jun 10 14:32:58 2008 +0200
     2.2 +++ b/lib/jedit/isabelle.xml	Tue Jun 10 15:30:01 2008 +0200
     2.3 @@ -71,11 +71,11 @@
     2.4        <OPERATOR>classes</OPERATOR>
     2.5        <OPERATOR>classrel</OPERATOR>
     2.6        <OPERATOR>codatatype</OPERATOR>
     2.7 +      <OPERATOR>code_abort</OPERATOR>
     2.8        <OPERATOR>code_class</OPERATOR>
     2.9        <OPERATOR>code_const</OPERATOR>
    2.10        <OPERATOR>code_datatype</OPERATOR>
    2.11        <LABEL>code_deps</LABEL>
    2.12 -      <OPERATOR>code_exception</OPERATOR>
    2.13        <OPERATOR>code_include</OPERATOR>
    2.14        <OPERATOR>code_instance</OPERATOR>
    2.15        <OPERATOR>code_library</OPERATOR>
    2.16 @@ -112,7 +112,6 @@
    2.17        <OPERATOR>defs</OPERATOR>
    2.18        <LABEL>disable_pr</LABEL>
    2.19        <LABEL>display_drafts</LABEL>
    2.20 -      <KEYWORD4>distinct</KEYWORD4>
    2.21        <OPERATOR>domain</OPERATOR>
    2.22        <KEYWORD4>domains</KEYWORD4>
    2.23        <OPERATOR>done</OPERATOR>
    2.24 @@ -160,7 +159,6 @@
    2.25        <KEYWORD4>infixr</KEYWORD4>
    2.26        <INVALID>init_toplevel</INVALID>
    2.27        <KEYWORD4>initially</KEYWORD4>
    2.28 -      <KEYWORD4>inject</KEYWORD4>
    2.29        <KEYWORD4>inputs</KEYWORD4>
    2.30        <OPERATOR>instance</OPERATOR>
    2.31        <OPERATOR>instantiation</OPERATOR>