| Wed, 22 Aug 2018 14:44:15 +0200 | \----- start update Isabelle2017 --> Isabelle2018 | file | diff | annotate |
| Thu, 18 Jan 2018 15:25:39 +0100 | comments on test setup | file | diff | annotate |
| Sat, 05 Dec 2015 16:09:41 +0100 | switched from Isabelle2014 to Isabelle2015, intermediate state | file | diff | annotate |