| Wed, 26 Oct 2016 15:14:17 +0200 | wenzelm | more specific hardware information: relevant for ultimate Mac OS X version; | changeset | files |
| 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 |
| Wed, 26 Oct 2016 11:35:41 +0200 | wenzelm | latest Mac OS X versions *are* still supported, but presently without formal reference systems; | changeset | files |
| Tue, 25 Oct 2016 20:48:03 +0200 | wenzelm | pagecolor no longer exists; | changeset | files |