updated generated file;
authorwenzelm
Thu May 15 12:47:19 2008 +0200 (2008-05-15)
changeset 26896d6fb318ba24e
parent 26895 d066f9db833b
child 26897 044619358d3a
updated generated file;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
lib/jedit/isabelle.xml
     1.1 --- a/etc/isar-keywords-ZF.el	Wed May 14 20:31:41 2008 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Thu May 15 12:47:19 2008 +0200
     1.3 @@ -212,7 +212,6 @@
     1.4      "binder"
     1.5      "case_eqns"
     1.6      "con_defs"
     1.7 -    "concl"
     1.8      "constrains"
     1.9      "contains"
    1.10      "defines"
     2.1 --- a/etc/isar-keywords.el	Wed May 14 20:31:41 2008 +0200
     2.2 +++ b/etc/isar-keywords.el	Thu May 15 12:47:19 2008 +0200
     2.3 @@ -253,7 +253,6 @@
     2.4      "begin"
     2.5      "binder"
     2.6      "compose"
     2.7 -    "concl"
     2.8      "congs"
     2.9      "constrains"
    2.10      "contains"
     3.1 --- a/lib/jedit/isabelle.xml	Wed May 14 20:31:41 2008 +0200
     3.2 +++ b/lib/jedit/isabelle.xml	Thu May 15 12:47:19 2008 +0200
     3.3 @@ -91,7 +91,6 @@
     3.4        <LABEL>commit</LABEL>
     3.5        <KEYWORD4>compose</KEYWORD4>
     3.6        <KEYWORD4>con_defs</KEYWORD4>
     3.7 -      <KEYWORD4>concl</KEYWORD4>
     3.8        <KEYWORD4>congs</KEYWORD4>
     3.9        <OPERATOR>constdefs</OPERATOR>
    3.10        <KEYWORD4>constrains</KEYWORD4>