Mon, 07 Dec 2009 23:00:30 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
Mon, 07 Dec 2009 00:05:21 +0100 |
wenzelm |
use IsabelleText font;
|
file |
diff |
annotate
|
Sun, 06 Dec 2009 20:50:07 +0100 |
wenzelm |
reduced logging;
|
file |
diff |
annotate
|
Fri, 04 Dec 2009 23:10:11 +0100 |
wenzelm |
tuned message markup;
|
file |
diff |
annotate
|
Fri, 04 Dec 2009 17:14:44 +0100 |
wenzelm |
basic setup for Cobra HTML renderer;
|
file |
diff |
annotate
|
Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
state_update global in Plugin
|
file |
diff |
annotate
|
Mon, 20 Apr 2009 13:16:53 +0200 |
immler |
Anti-aliasing is now controlled via the smoothing threshhold
|
file |
diff |
annotate
|
Mon, 29 Dec 2008 20:43:04 +0100 |
wenzelm |
replaced EventSource by EventBus;
|
file |
diff |
annotate
|
Sat, 27 Dec 2008 15:03:32 +0100 |
wenzelm |
replaced static IsabelleSystem by Isabelle.system;
|
file |
diff |
annotate
|
Sat, 27 Dec 2008 14:13:05 +0100 |
wenzelm |
renamed object Plugin to Isabelle;
|
file |
diff |
annotate
|
Sun, 21 Dec 2008 22:09:33 +0100 |
wenzelm |
proper import isabelle.renderer.UserAgent;
|
file |
diff |
annotate
|
Sun, 21 Dec 2008 21:43:41 +0100 |
wenzelm |
renamed Plugin.plugin to Plugin.self;
|
file |
diff |
annotate
|
Sun, 21 Dec 2008 19:51:56 +0100 |
wenzelm |
basic setup of anti-aliasing, according to jEdit property;
|
file |
diff |
annotate
|
Sat, 20 Dec 2008 17:41:57 +0100 |
wenzelm |
setPreferredSize for floating dockables;
|
file |
diff |
annotate
|
Fri, 19 Dec 2008 23:11:08 +0100 |
wenzelm |
added some headers and comments;
|
file |
diff |
annotate
|
Thu, 18 Dec 2008 01:10:20 +0100 |
immler |
restructured: independent provers in different buffers
|
file |
diff |
annotate
|
Sun, 07 Dec 2008 15:36:24 +0100 |
immler |
handle statuses in Command
|
file |
diff |
annotate
|
Tue, 18 Nov 2008 21:45:29 +0100 |
immler |
copy-paste for XHTMLPanels
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 13:08:37 +0100 |
immler |
playing with xsymbols
|
file |
diff |
annotate
|
Tue, 11 Nov 2008 15:27:48 +0100 |
immler |
copying selection to clipboard
|
file |
diff |
annotate
|
Mon, 10 Nov 2008 19:31:27 +0100 |
immler |
selecting text of state view
|
file |
diff |
annotate
|
Mon, 03 Nov 2008 16:57:32 +0100 |
immler |
UserAgent as seperate class, moved stylesheets, baseURL to UserAgent
|
file |
diff |
annotate
|
Sun, 19 Oct 2008 16:51:55 +0200 |
wenzelm |
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
|
file |
diff |
annotate
|