1.1 --- a/etc/isar-keywords.el Mon May 04 23:44:11 2009 +0200
1.2 +++ b/etc/isar-keywords.el Mon May 04 23:45:58 2009 +0200
1.3 @@ -36,6 +36,7 @@
1.4 "atp_info"
1.5 "atp_kill"
1.6 "atp_messages"
1.7 + "atp_minimize"
1.8 "attribute_setup"
1.9 "automaton"
1.10 "ax_specification"
1.11 @@ -340,6 +341,7 @@
1.12 "atp_info"
1.13 "atp_kill"
1.14 "atp_messages"
1.15 + "atp_minimize"
1.16 "cd"
1.17 "class_deps"
1.18 "code_deps"
2.1 --- a/lib/jedit/isabelle.xml Mon May 04 23:44:11 2009 +0200
2.2 +++ b/lib/jedit/isabelle.xml Mon May 04 23:45:58 2009 +0200
2.3 @@ -61,6 +61,7 @@
2.4 <LABEL>atp_info</LABEL>
2.5 <LABEL>atp_kill</LABEL>
2.6 <LABEL>atp_messages</LABEL>
2.7 + <LABEL>atp_minimize</LABEL>
2.8 <KEYWORD4>attach</KEYWORD4>
2.9 <OPERATOR>attribute_setup</OPERATOR>
2.10 <OPERATOR>automaton</OPERATOR>