# HG changeset patch
# User wenzelm
# Date 1210848439 -7200
# Node ID d6fb318ba24e040077ca69257d9ceb69adc4075d
# Parent  d066f9db833b0c19863a920ebd9c11dbd24372e6
updated generated file;

diff -r d066f9db833b -r d6fb318ba24e etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Wed May 14 20:31:41 2008 +0200
+++ b/etc/isar-keywords-ZF.el	Thu May 15 12:47:19 2008 +0200
@@ -212,7 +212,6 @@
     "binder"
     "case_eqns"
     "con_defs"
-    "concl"
     "constrains"
     "contains"
     "defines"
diff -r d066f9db833b -r d6fb318ba24e etc/isar-keywords.el
--- a/etc/isar-keywords.el	Wed May 14 20:31:41 2008 +0200
+++ b/etc/isar-keywords.el	Thu May 15 12:47:19 2008 +0200
@@ -253,7 +253,6 @@
     "begin"
     "binder"
     "compose"
-    "concl"
     "congs"
     "constrains"
     "contains"
diff -r d066f9db833b -r d6fb318ba24e lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Wed May 14 20:31:41 2008 +0200
+++ b/lib/jedit/isabelle.xml	Thu May 15 12:47:19 2008 +0200
@@ -91,7 +91,6 @@
       <LABEL>commit</LABEL>
       <KEYWORD4>compose</KEYWORD4>
       <KEYWORD4>con_defs</KEYWORD4>
-      <KEYWORD4>concl</KEYWORD4>
       <KEYWORD4>congs</KEYWORD4>
       <OPERATOR>constdefs</OPERATOR>
       <KEYWORD4>constrains</KEYWORD4>