| Thu, 23 Sep 2010 18:44:26 +0200 |
wenzelm |
explicit Session.Phase indication with associated event bus;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 20:50:25 +0200 |
wenzelm |
tuned panel names and actions;
|
file |
diff |
annotate
|
| Sat, 18 Sep 2010 14:28:42 +0200 |
wenzelm |
basic setup for prover session panel;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 20:59:55 +0200 |
wenzelm |
separate event bus and dockable for raw output (stdout);
|
file |
diff |
annotate
|
| 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
|