| 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, 12 Jun 2014 01:00:49 +0200 |
adapted examples to changes in SMT triggers
|
file | diff | annotate |
| Thu, 01 May 2014 22:57:38 +0200 |
use SMT2 for Boogie examples
|
file | diff | annotate |
| Tue, 18 Mar 2014 17:39:03 +0100 |
clarifed module name;
|
file | diff | annotate |
| Thu, 27 Feb 2014 17:29:58 +0100 |
store blobs / inlined files as separate text lines: smaller values are more healthy for the Poly/ML RTS and allow implicit sharing;
|
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 |
| Sat, 27 Jul 2013 16:44:58 +0200 |
tuned spelling;
|
file | diff | annotate |
| Sat, 27 Jul 2013 16:35:51 +0200 |
standardized aliases;
|
file | diff | annotate |
| Tue, 23 Jul 2013 18:36:23 +0200 |
removed obsolete HOL-Boogie session;
|
file | diff | annotate |