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
|