Wed, 06 Nov 2013 18:04:36 +0100 |
wenzelm |
tuned tooltips;
|
file |
diff |
annotate
|
Wed, 25 Sep 2013 11:12:59 +0200 |
wenzelm |
explicit Status.REMOVED, which is required e.g. for sledgehammer to retrieve command of sendback exec_id (in contrast to find_theorems, see c2da0d3b974d);
|
file |
diff |
annotate
|
Tue, 24 Sep 2013 18:42:44 +0200 |
wenzelm |
focus text field, to capture key events even on Mac OS X look-and-feel;
|
file |
diff |
annotate
|
Sun, 22 Sep 2013 19:50:48 +0200 |
wenzelm |
focus on default component according to jEdit window management;
|
file |
diff |
annotate
|
Wed, 18 Sep 2013 15:09:15 +0200 |
wenzelm |
improved FlowLayout for wrapping of components over multiple lines;
|
file |
diff |
annotate
|
Sat, 24 Aug 2013 13:32:51 +0200 |
wenzelm |
more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
|
file |
diff |
annotate
|
Sat, 17 Aug 2013 22:45:48 +0200 |
wenzelm |
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
|
file |
diff |
annotate
|
Sat, 17 Aug 2013 22:27:41 +0200 |
wenzelm |
more robust startup;
|
file |
diff |
annotate
|
Sat, 17 Aug 2013 22:15:45 +0200 |
wenzelm |
some protocol to determine provers according to ML;
|
file |
diff |
annotate
|
Sat, 17 Aug 2013 12:21:25 +0200 |
wenzelm |
eliminated pointless subgoal argument;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 11:39:29 +0200 |
wenzelm |
tuned signature -- more abstract PIDE editor operations;
|
file |
diff |
annotate
|
Fri, 09 Aug 2013 15:00:29 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
Fri, 09 Aug 2013 13:51:34 +0200 |
wenzelm |
more abstract consume_status operation;
|
file |
diff |
annotate
|
Fri, 09 Aug 2013 12:29:15 +0200 |
wenzelm |
more active "provers" field, which increases chances that its history is stored;
|
file |
diff |
annotate
|
Fri, 09 Aug 2013 11:18:36 +0200 |
wenzelm |
cancel_query via direct access to the exec_id of the running query process;
|
file |
diff |
annotate
|
Thu, 08 Aug 2013 14:24:21 +0200 |
wenzelm |
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
|
file |
diff |
annotate
|