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 files etc/isar-keywords.el and lib/jedit/isabelle.xml
authorimmler@in.tum.de
Mon, 04 May 2009 23:45:58 +0200
changeset 31039 fbb00c98f9ed
parent 31038 887298ab70dc
child 31040 996ae76c9eda
child 31045 f0c7607bb295
updated generated files etc/isar-keywords.el and lib/jedit/isabelle.xml
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Mon May 04 23:44:11 2009 +0200
+++ b/etc/isar-keywords.el	Mon May 04 23:45:58 2009 +0200
@@ -36,6 +36,7 @@
     "atp_info"
     "atp_kill"
     "atp_messages"
+    "atp_minimize"
     "attribute_setup"
     "automaton"
     "ax_specification"
@@ -340,6 +341,7 @@
     "atp_info"
     "atp_kill"
     "atp_messages"
+    "atp_minimize"
     "cd"
     "class_deps"
     "code_deps"
--- a/lib/jedit/isabelle.xml	Mon May 04 23:44:11 2009 +0200
+++ b/lib/jedit/isabelle.xml	Mon May 04 23:45:58 2009 +0200
@@ -61,6 +61,7 @@
       <LABEL>atp_info</LABEL>
       <LABEL>atp_kill</LABEL>
       <LABEL>atp_messages</LABEL>
+      <LABEL>atp_minimize</LABEL>
       <KEYWORD4>attach</KEYWORD4>
       <OPERATOR>attribute_setup</OPERATOR>
       <OPERATOR>automaton</OPERATOR>
isabelle