Wed, 28 Nov 2012 14:55:46 +0100 |
wenzelm |
smarter list layout;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:40:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:35:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|
Sat, 24 Nov 2012 14:50:19 +0100 |
wenzelm |
improved editing support for control styles;
|
file |
diff |
annotate
|
Sun, 18 Nov 2012 15:28:58 +0100 |
wenzelm |
update options via protocol;
|
file |
diff |
annotate
|
Tue, 25 Sep 2012 12:17:58 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 22 Sep 2012 14:03:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 13:52:16 +0200 |
wenzelm |
more static handling of rendering options;
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 12:46:33 +0200 |
wenzelm |
tuned options (again);
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 22:54:12 +0200 |
wenzelm |
provide color values via options;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 19:49:30 +0200 |
wenzelm |
more detailed option tooltip;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 17:13:17 +0200 |
wenzelm |
more systematic JEdit_Options.make_component;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 15:20:50 +0200 |
wenzelm |
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
|
file |
diff |
annotate
|
Fri, 31 Aug 2012 14:52:29 +0200 |
wenzelm |
recovered ScrollPane from d899be1cfe6d;
|
file |
diff |
annotate
|
Tue, 21 Aug 2012 12:15:25 +0200 |
wenzelm |
clarified initialization of Thy_Load, Thy_Info, Session;
|
file |
diff |
annotate
|
Tue, 29 May 2012 22:24:31 +0200 |
wenzelm |
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
|
file |
diff |
annotate
|
Tue, 29 May 2012 20:38:40 +0200 |
wenzelm |
make double sure that GUI components are up-to-date after init;
|
file |
diff |
annotate
|
Tue, 29 May 2012 16:39:42 +0200 |
wenzelm |
separate README dockable, which allows to make it more prominent first and remove it later;
|
file |
diff |
annotate
|
Thu, 19 Apr 2012 21:42:24 +0200 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
Wed, 14 Mar 2012 15:09:33 +0100 |
wenzelm |
prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks;
|
file |
diff |
annotate
|
Sat, 03 Mar 2012 17:30:14 +0100 |
wenzelm |
tuned signature -- emphasize Isabelle_Process Input vs. Output;
|
file |
diff |
annotate
|
Sat, 03 Mar 2012 16:59:30 +0100 |
wenzelm |
explicit syslog_limit reduces danger of low-level message flooding;
|
file |
diff |
annotate
|
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
|