| 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 |