From ecbfbe0c647049e92a186f4d670369b57698f409 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 9 Apr 2020 22:00:11 +0100 Subject: [PATCH] Switched trunk to Isabelle 2020. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2aa161e..23df4a1 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ functionality to [Isabelle](https://isabelle.in.tum.de) or showcase specific functionality. The individual hacks usually consist out of a single theory file and all documentation is contained in that theory file. The master branch should work with the latest official -release of Isabelle (Isabelle 2019, at time of writing), hacks for +release of Isabelle (Isabelle 2020, at time of writing), hacks for older versions might be available on a dedicated branch. ## List of Isabelle Hacks