| Thu, 28 Nov 2013 13:59:00 +0100 |
wenzelm |
Added tag Isabelle2013-2-RC2 for changeset 99b9249b3e05
|
changeset |
files
|
| Thu, 28 Nov 2013 12:54:39 +0100 |
wenzelm |
more official task context via Task_Queue.enroll, which is required to participate in group cancellation (e.g. to terminate command exec);
|
changeset |
files
|
| Mon, 25 Nov 2013 21:36:10 +0100 |
wenzelm |
NEWS;
|
changeset |
files
|
| Mon, 25 Nov 2013 21:17:18 +0100 |
wenzelm |
more defensive order of Markup.failed vs. Markup.finished -- more informative status in Isabelle/Scala, although it is not rendered in Isabelle/jEdit;
|
changeset |
files
|
| Mon, 25 Nov 2013 20:49:20 +0100 |
wenzelm |
more robust status reports: avoid loosing information about physical events (see also 28d207ba9340, 2bc5924b117f, 9edfd36a0355) -- NB: TTY and Proof General ignore Output.status and Output.report;
|
changeset |
files
|
| Mon, 25 Nov 2013 18:03:38 +0100 |
wenzelm |
more robust and portable invocation of kill as bash builtin, instead of external executable -- NB: /bin/kill on Mac OS X Mountain Lion chokes on Linux workaround from 3610ae73cfdb;
|
changeset |
files
|
| Sun, 24 Nov 2013 18:06:09 +0100 |
wenzelm |
Added tag Isabelle2013-2-RC1 for changeset 57aefb80b639
|
changeset |
files
|
| Sat, 23 Nov 2013 12:59:12 +0100 |
wenzelm |
more on GTK;
|
changeset |
files
|
| Fri, 22 Nov 2013 21:57:50 +0100 |
wenzelm |
reintroduced e2d08b9c9047, lost in 54e290da6da8 + e13b0c88c798 (clone of f6ffe53387ef);
|
changeset |
files
|
| Thu, 21 Nov 2013 22:13:11 +0100 |
wenzelm |
NEWS;
|
changeset |
files
|
| Thu, 21 Nov 2013 21:55:29 +0100 |
wenzelm |
back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command;
|
changeset |
files
|
| Wed, 20 Nov 2013 23:00:18 +0100 |
wenzelm |
updated to Isabelle2013-2;
|
changeset |
files
|
| Wed, 20 Nov 2013 22:15:53 +0100 |
wenzelm |
compile on Windows (clone of d04576557400);
|
changeset |
files
|
| Wed, 20 Nov 2013 22:10:45 +0100 |
wenzelm |
register actual group of nested worker context -- relevant for insulated cancellation of exec_ids (see also 78693e46a237, e0169f13bd37);
|
changeset |
files
|