Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated generated file;
authorwenzelm
Thu, 15 May 2008 12:47:19 +0200
changeset 26896 d6fb318ba24e
parent 26895 d066f9db833b
child 26897 044619358d3a
updated generated file;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
--- 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"
--- 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"
--- 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>
isabelle