| 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 |
| Thu, 05 Dec 2013 17:09:13 +0000 | paulson | updated mirror script for Cambridge | changeset | files |