From b5f15612a7cf852596f4d81cf812b4fefaabc6b0 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 6 Mar 2021 01:01:08 +0000 Subject: [PATCH] Upgrading to Isabelle 2020. --- README.md | 2 +- document/root.tex | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 23df4a1..8dd1830 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 2020, at time of writing), hacks for +release of Isabelle (Isabelle 2021, at time of writing), hacks for older versions might be available on a dedicated branch. ## List of Isabelle Hacks diff --git a/document/root.tex b/document/root.tex index 59f3249..f36e832 100644 --- a/document/root.tex +++ b/document/root.tex @@ -51,7 +51,7 @@ \def\isacharunderscore{\textunderscore}% \chapter{#1 (\thy.thy)}% \def\isacharunderscore{-}% - \expandafter\label{sec:\isabellecontext}% + % \expandafter\label{sec:\isabellecontext}% \endgroup% } \newcommand{\isactrltype}{\\<\^type>}