From 51375ea9833985a0742856917084a02a69c36dbf Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 1 Apr 2021 23:47:35 +0100 Subject: [PATCH] Updated TeX Live dependency to version 2021. --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 34a57fd..1116a0a 100755 --- a/README.md +++ b/README.md @@ -24,8 +24,7 @@ Isabelle/DOF has two major pre-requisites: Please download the Isabelle 2021 distribution for your operating system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2021/). * **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least - [TeX Live 2020](https://www.tug.org/texlive/) with all available updates applied (in particular - ``tcolorbox.sty`` 4.42 or later is required). + [TeX Live 2021](https://www.tug.org/texlive/) with all available updates applied. ## Installation