Documented Isabelle version (night build / development version).

Merge branch 'main' into isabelle_nightly
Documented Isabelle version (2023).
2023-09-14 06:34:46 +01:00 · 2023-09-14 06:33:54 +01:00 · 2023-09-14 06:33:28 +01:00
2 changed files with 2 additions and 2 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@ -11,7 +11,7 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.

 ### Changed

- Updated Isabelle version to Isabelle 2022
+- Updated Isabelle version to Isabelle 2023

 ## [1.3.0] - 2022-07-08

--- a/README.md
+++ b/README.md
@ -7,7 +7,7 @@ Isabelle/DOF allows for both conventional typesetting and formal development.

 Isabelle/DOF has two major prerequisites:

-* **Isabelle:** Isabelle/DOF requires [Isabelle](https://isabelle.in.tum.de/)
+* **Isabelle (Development Version):** Isabelle/DOF requires [Isabelle](https://isabelle.in.tum.de/)
  and several entries from the [Archive of Formal Proofs
  (AFP)](https://www.isa-afp.org/).
 * **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least
Author	SHA1	Message	Date
Achim D. Brucker	b9f3a9eb7e	Documented Isabelle version (night build / development version). ci/woodpecker/push/build Pipeline failed Details	2023-09-14 06:34:46 +01:00
Achim D. Brucker	caeef3121a	Merge branch 'main' into isabelle_nightly	2023-09-14 06:33:54 +01:00
Achim D. Brucker	b698572146	Documented Isabelle version (2023). ci/woodpecker/push/build Pipeline failed Details	2023-09-14 06:33:28 +01:00