Wed, 30 Dec 2009 18:22:10 +0100 |
wenzelm |
removed experimental history panel;
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 19:50:55 +0100 |
wenzelm |
split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 23:45:42 +0100 |
wenzelm |
renamed "raw output" to "protocol";
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 16:30:20 +0100 |
wenzelm |
misc modernization of names;
|
file |
diff |
annotate
|
Mon, 07 Dec 2009 22:40:01 +0100 |
wenzelm |
removed ScrollerDockable, which is based on discontinued Flying Saucer renderer;
|
file |
diff |
annotate
|
Wed, 08 Jul 2009 15:15:13 +0200 |
immler |
gui element to set current document version
|
file |
diff |
annotate
|
Sat, 10 Jan 2009 17:59:23 +0100 |
immler |
merged
|
file |
diff |
annotate
|
Fri, 19 Dec 2008 11:25:06 +0100 |
immler |
ability to deactivate buffers
|
file |
diff |
annotate
|
Sat, 27 Dec 2008 14:13:05 +0100 |
wenzelm |
renamed object Plugin to Isabelle;
|
file |
diff |
annotate
|
Sun, 21 Dec 2008 21:43:40 +0100 |
wenzelm |
renamed Plugin.plugin to Plugin.self;
|
file |
diff |
annotate
|
Sat, 20 Dec 2008 17:16:29 +0100 |
wenzelm |
more conventional action names;
|
file |
diff |
annotate
|
Thu, 18 Dec 2008 01:10:20 +0100 |
immler |
restructured: independent provers in different buffers
|
file |
diff |
annotate
|
Thu, 23 Oct 2008 14:16:04 +0200 |
immler |
LazyScroller: rendering messages only when needed
|
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
|