| Mon, 19 Sep 2011 21:41:48 +0200 |
explicit border independent of UI (cf. ad5883642a83, 2bec3b7514cf);
|
file | diff | annotate |
| Sun, 18 Sep 2011 21:15:31 +0200 |
additional space for borderless UI;
|
file | diff | annotate |
| Sun, 18 Sep 2011 20:26:08 +0200 |
more robust treatment of empty insets (NB: border may be null on some UIs, e.g. Windows);
|
file | diff | annotate |
| Sun, 18 Sep 2011 00:05:22 +0200 |
graph traversal in topological order;
|
file | diff | annotate |
| Sat, 17 Sep 2011 22:13:15 +0200 |
more precise painting;
|
file | diff | annotate |
| Sat, 17 Sep 2011 21:28:52 +0200 |
more elaborate Node_Renderer, which paints node_name.theory only;
|
file | diff | annotate |
| Sat, 10 Sep 2011 20:39:13 +0200 |
stronger colors (as background);
|
file | diff | annotate |
| Sat, 10 Sep 2011 20:22:22 +0200 |
some color scheme for theory status;
|
file | diff | annotate |
| Sat, 10 Sep 2011 16:30:08 +0200 |
some keyboard shortcuts for important actions;
|
file | diff | annotate |
| Sat, 10 Sep 2011 14:48:06 +0200 |
explicit jEdit actions -- to enable key mappings, for example;
|
file | diff | annotate |
| Wed, 07 Sep 2011 11:17:19 +0200 |
added "check" button: adhoc change to full buffer perspective;
|
file | diff | annotate |
| Wed, 07 Sep 2011 11:00:39 +0200 |
added "cancel" button based on cancel_execution, not interrupt (cf. 156be0e43336);
|
file | diff | annotate |
| Tue, 06 Sep 2011 11:25:27 +0200 |
more specific message channels to avoid potential bottle-neck of raw_messages;
|
file | diff | annotate |
| Sat, 03 Sep 2011 12:31:27 +0200 |
some support to prune_history;
|
file | diff | annotate |
| Thu, 01 Sep 2011 16:58:41 +0200 |
sort wrt. theory name;
|
file | diff | annotate |
| Thu, 01 Sep 2011 14:10:52 +0200 |
more flexible sorting;
|
file | diff | annotate |
| Thu, 01 Sep 2011 13:34:45 +0200 |
more abstract Document.Node.Name;
|
file | diff | annotate |
| Wed, 31 Aug 2011 22:10:07 +0200 |
crude display of node status;
|
file | diff | annotate |
| Wed, 31 Aug 2011 17:36:10 +0200 |
some support for theory status overview;
|
file | diff | annotate |
| Sat, 20 Aug 2011 20:24:12 +0200 |
discontinued "Interrupt", which could disturb administrative tasks of the document model;
|
file | diff | annotate |
| Fri, 19 Aug 2011 13:55:32 +0200 |
editable raw text areas: allow user to clear content;
|
file | diff | annotate |
| Sat, 09 Jul 2011 21:53:27 +0200 |
echo prover input via raw_messages, for improved protocol tracing;
|
file | diff | annotate |
| Mon, 04 Jul 2011 22:11:32 +0200 |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file | diff | annotate |
| Thu, 30 Jun 2011 14:55:01 +0200 |
prefer Isabelle path algebra;
|
file | diff | annotate |
| Thu, 23 Jun 2011 14:52:32 +0200 |
explicit import java.lang.System to prevent odd scope problems;
|
file | diff | annotate |
| Wed, 08 Jun 2011 17:42:07 +0200 |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
file | diff | annotate | base |