Wed, 26 Oct 2016 14:52:41 +0200 | wenzelm | just one task to identify Isabelle + AFP repository snapshots and build release; | changeset | files |
Wed, 26 Oct 2016 14:50:28 +0200 | wenzelm | tuned; | changeset | files |
Wed, 26 Oct 2016 12:22:58 +0100 | paulson | Deleted spurious markup | changeset | files |