forked from Isabelle_DOF/Isabelle_DOF
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.
This commit is contained in:
parent
46875b0560
commit
aadbce7844
|
@ -24,10 +24,9 @@ Isabelle/DOF has two major pre-requisites:
|
||||||
Please download the Isabelle 2021 distribution for your operating
|
Please download the Isabelle 2021 distribution for your operating
|
||||||
system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2021/).
|
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
|
* **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)
|
is, for example, included in the [TeX Live 2020](https://www.tug.org/texlive/) (or later)
|
||||||
distribution. Please follow the [TeXLive installation instructions](https://www.tug.org/texlive/acquire-netinstall.html)
|
distribution.
|
||||||
for installing TeXLive.
|
|
||||||
|
|
||||||
## Installation
|
## Installation
|
||||||
|
|
||||||
In most case, the DOF-plugin can be installed as follows:
|
In most case, the DOF-plugin can be installed as follows:
|
||||||
|
|
Loading…
Reference in New Issue