Documented Isabelle version (2023).
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/build Pipeline failed
Details
This commit is contained in:
parent
e12abadc94
commit
b698572146
|
@ -11,7 +11,7 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
|
||||||
|
|
||||||
### Changed
|
### Changed
|
||||||
|
|
||||||
- Updated Isabelle version to Isabelle 2022
|
- Updated Isabelle version to Isabelle 2023
|
||||||
|
|
||||||
## [1.3.0] - 2022-07-08
|
## [1.3.0] - 2022-07-08
|
||||||
|
|
||||||
|
|
|
@ -7,7 +7,7 @@ Isabelle/DOF allows for both conventional typesetting and formal development.
|
||||||
|
|
||||||
Isabelle/DOF has two major prerequisites:
|
Isabelle/DOF has two major prerequisites:
|
||||||
|
|
||||||
* **Isabelle:** Isabelle/DOF requires [Isabelle](https://isabelle.in.tum.de/)
|
* **Isabelle 2023:** Isabelle/DOF requires [Isabelle](https://isabelle.in.tum.de/)
|
||||||
and several entries from the [Archive of Formal Proofs
|
and several entries from the [Archive of Formal Proofs
|
||||||
(AFP)](https://www.isa-afp.org/).
|
(AFP)](https://www.isa-afp.org/).
|
||||||
* **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least
|
* **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least
|
||||||
|
|
Loading…
Reference in New Issue