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