| Thu, 01 Mar 2012 11:28:33 +0100 |
wenzelm |
clarified document nodes (full import graph) vs. node_status (non-preloaded theories);
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 23:35:11 +0100 |
wenzelm |
more explicit development graph;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 20:05:14 +0100 |
wenzelm |
include warning messages in node status;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 17:44:09 +0100 |
wenzelm |
more abstract class Document.Version;
|
file |
diff |
annotate
|
| Thu, 01 Dec 2011 14:29:14 +0100 |
wenzelm |
clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 20:18:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 20:39:08 +0100 |
wenzelm |
renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;
|
file |
diff |
annotate
|
| Tue, 27 Sep 2011 22:35:57 +0200 |
wenzelm |
proper platform_file_url;
|
file |
diff |
annotate
|
| Tue, 27 Sep 2011 22:14:15 +0200 |
wenzelm |
observe base URL of rendered document;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2011 15:23:17 +0200 |
wenzelm |
more careful treatment of initial update, similar to output panel;
|
file |
diff |
annotate
|
| Mon, 19 Sep 2011 22:13:51 +0200 |
wenzelm |
double clicks switch to document node buffer;
|
file |
diff |
annotate
|
| Mon, 19 Sep 2011 21:53:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 19 Sep 2011 21:41:48 +0200 |
wenzelm |
explicit border independent of UI (cf. ad5883642a83, 2bec3b7514cf);
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 21:15:31 +0200 |
wenzelm |
additional space for borderless UI;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 20:26:08 +0200 |
wenzelm |
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 |
wenzelm |
graph traversal in topological order;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2011 22:13:15 +0200 |
wenzelm |
more precise painting;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2011 21:28:52 +0200 |
wenzelm |
more elaborate Node_Renderer, which paints node_name.theory only;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2011 20:39:13 +0200 |
wenzelm |
stronger colors (as background);
|
file |
diff |
annotate
|
| Sat, 10 Sep 2011 20:22:22 +0200 |
wenzelm |
some color scheme for theory status;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2011 16:30:08 +0200 |
wenzelm |
some keyboard shortcuts for important actions;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2011 14:48:06 +0200 |
wenzelm |
explicit jEdit actions -- to enable key mappings, for example;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 11:17:19 +0200 |
wenzelm |
added "check" button: adhoc change to full buffer perspective;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 11:00:39 +0200 |
wenzelm |
added "cancel" button based on cancel_execution, not interrupt (cf. 156be0e43336);
|
file |
diff |
annotate
|
| Tue, 06 Sep 2011 11:25:27 +0200 |
wenzelm |
more specific message channels to avoid potential bottle-neck of raw_messages;
|
file |
diff |
annotate
|
| Sat, 03 Sep 2011 12:31:27 +0200 |
wenzelm |
some support to prune_history;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 16:58:41 +0200 |
wenzelm |
sort wrt. theory name;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 14:10:52 +0200 |
wenzelm |
more flexible sorting;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 13:34:45 +0200 |
wenzelm |
more abstract Document.Node.Name;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2011 22:10:07 +0200 |
wenzelm |
crude display of node status;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2011 17:36:10 +0200 |
wenzelm |
some support for theory status overview;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2011 20:24:12 +0200 |
wenzelm |
discontinued "Interrupt", which could disturb administrative tasks of the document model;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2011 13:55:32 +0200 |
wenzelm |
editable raw text areas: allow user to clear content;
|
file |
diff |
annotate
|
| Sat, 09 Jul 2011 21:53:27 +0200 |
wenzelm |
echo prover input via raw_messages, for improved protocol tracing;
|
file |
diff |
annotate
|
| Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file |
diff |
annotate
|
| Thu, 30 Jun 2011 14:55:01 +0200 |
wenzelm |
prefer Isabelle path algebra;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 17:42:07 +0200 |
wenzelm |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
file |
diff |
annotate
| base
|