| Mon, 15 Mar 2021 10:04:17 +0100 | Isabelle2020->21: th_load with constant string | file | diff | annotate |
| Mon, 08 Mar 2021 09:11:09 +0100 | \----- start update Isabelle2020 --> Isabelle2021 | file | diff | annotate |
| Tue, 03 Sep 2019 16:10:31 +0200 | \----- start update Isabelle2018 --> Isabelle2019 | file | diff | annotate |
| Wed, 22 Aug 2018 14:44:15 +0200 | \----- start update Isabelle2017 --> Isabelle2018 | file | diff | annotate |
| Fri, 19 Jan 2018 12:49:17 +0100 | \----- start update Isabelle2015 --> Isabelle2017 | file | diff | annotate |
| Sat, 05 Dec 2015 16:09:41 +0100 | switched from Isabelle2014 to Isabelle2015, intermediate state | file | diff | annotate |
| Thu, 01 May 2014 22:57:38 +0200 | use SMT2 for Boogie examples | file | diff | annotate |
| Sat, 16 Nov 2013 16:57:09 +0100 | proper thy_load command 'boogie_file' -- avoid direct access to file-system; | file | diff | annotate |
| Tue, 23 Jul 2013 18:36:23 +0200 | removed obsolete HOL-Boogie session; | file | diff | annotate |