diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1eb853c..09cbc85 100644
--- 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
 
diff --git a/README.md b/README.md
index 23b429e..22640a6 100644
--- 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 2023:** 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