diff --git a/README.md b/README.md
index a9460bd0..1bb45934 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ For users seeking the best performance, we recommend using Isabelle2023 and [thi
 
 This repository contains various tools to support interactive theorem proving in Isabelle/HOL using artificial intelligence.
 This repository contains the implementation of *proof strategy language (PSL)* and its default strategy,
-**try_hard**, for [Isabelle2023](https://isabelle.in.tum.de). Past versions of Isabelle, such as Isabelle2022-1, are no longer supported.
+**try_hard**, for [Isabelle2024](https://isabelle.in.tum.de). Past versions of Isabelle, such as Isabelle2022-1, are no longer supported.
 
 ## YouTube