From 920779b150386acd358603cff7adc3c5f2e6851f Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 22 Mar 2021 00:13:18 +0000 Subject: [PATCH] Raised requirement of Tex Live to TeX Live 2021 (expected release date: 4th of April 2021). --- .../technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy index 641358e..876f5c0 100755 --- a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy @@ -47,8 +47,8 @@ text\ \<^LaTeX>. We assume a basic familiarity with a Linux/Unix-like command line (i.e., a shell). \<^isadof> requires Isabelle\<^bindex>\Isabelle\ (\isabellefullversion) with a recent \<^LaTeX>-distribution - (e.g., Tex Live 2020 or later). - \<^isadof> uses a two-part version system (e.g., 1.0.0/2020), where the first part is the version + (e.g., Tex Live 2021 or later). + \<^isadof> uses a two-part version system (e.g., 1.1.0/Isabelle2021), where the first part is the version of \<^isadof> (using semantic versioning) and the second part is the supported version of Isabelle. Thus, the same version of \<^isadof> might be available for different versions of Isabelle. \