From aadbce7844b43f3658b7573b05ab4b730ff87712 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 15 Mar 2021 10:24:31 +0000 Subject: [PATCH] Removed direct link to TeX Live installation instructions that are somewhat misleading for OS X users. The main TeX Live instructions are, actually, more helpful. --- README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 23db051..0676f3e 100755 --- a/README.md +++ b/README.md @@ -24,10 +24,9 @@ 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 TeX-engine supporting the \expanded{}-primitive. This - is, for example, included in the [TeXLive 2020](https://www.tug.org/texlive/) (or later) - distribution. Please follow the [TeXLive installation instructions](https://www.tug.org/texlive/acquire-netinstall.html) - for installing TeXLive. - + is, for example, included in the [TeX Live 2020](https://www.tug.org/texlive/) (or later) + distribution. + ## Installation In most case, the DOF-plugin can be installed as follows: