| Tue, 28 Sep 2010 18:51:10 +0200 |
wenzelm |
tuned README;
|
file |
diff |
annotate
|
| Mon, 27 Sep 2010 21:16:42 +0200 |
wenzelm |
moved "auto-start" to options panel;
|
file |
diff |
annotate
|
| Sat, 25 Sep 2010 17:28:41 +0200 |
wenzelm |
Session_Dockable: more startup controls;
|
file |
diff |
annotate
|
| Sat, 25 Sep 2010 16:22:27 +0200 |
wenzelm |
simplified / clarified Session.Phase;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 21:05:07 +0200 |
wenzelm |
tuned border;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 20:33:38 +0200 |
wenzelm |
more informative Session.Phase;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 14:47:01 +0200 |
wenzelm |
persistent session-panel.selection;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 00:00:21 +0200 |
wenzelm |
added Session_Dockable.session_phase label;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 16:48:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 15:21:04 +0200 |
wenzelm |
manage persistent syslog via Session, not Isabelle_Process;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 14:39:29 +0200 |
wenzelm |
tuned prover message categorization;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 16:17:20 +0200 |
wenzelm |
basic setup for Session_Dockable controls;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 16:04:20 +0200 |
wenzelm |
more content for Session_Dockable;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 15:01:34 +0200 |
wenzelm |
Session_Dockable: basic syslog output;
|
file |
diff |
annotate
|
| Sat, 18 Sep 2010 15:50:29 +0200 |
wenzelm |
non-editable text area;
|
file |
diff |
annotate
|
| Sat, 18 Sep 2010 14:28:42 +0200 |
wenzelm |
basic setup for prover session panel;
|
file |
diff |
annotate
|