forked from Isabelle_DOF/Isabelle_DOF
Made clear that more than two AFP entries are required.
This commit is contained in:
parent
eac94f2a01
commit
b4f4048cff
|
@ -13,7 +13,7 @@ Isabelle/DOF has three major prerequisites:
|
||||||
2022](http://isabelle.in.tum.de/website-Isabelle2022/). Please download the
|
2022](http://isabelle.in.tum.de/website-Isabelle2022/). Please download the
|
||||||
Isabelle 2022 distribution for your operating system from the [Isabelle
|
Isabelle 2022 distribution for your operating system from the [Isabelle
|
||||||
website](http://isabelle.in.tum.de/website-Isabelle2022/).
|
website](http://isabelle.in.tum.de/website-Isabelle2022/).
|
||||||
* **AFP:** Isabelle/DOF requires two entries from the [Archive of Formal Proofs
|
* **AFP:** Isabelle/DOF requires several entries from the [Archive of Formal Proofs
|
||||||
(AFP)](https://www.isa-afp.org/). Please install the AFP following the
|
(AFP)](https://www.isa-afp.org/). Please install the AFP following the
|
||||||
instructions given at <https://www.isa-afp.org/using.html>.
|
instructions given at <https://www.isa-afp.org/using.html>.
|
||||||
* **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least
|
* **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least
|
||||||
|
|
Reference in New Issue