Update README.md

data61 · Jun 7, 2024 · dbcf3a4 · dbcf3a4
1 parent 67baf78
commit dbcf3a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# Note on Isabelle2024 and the latest version of Sledgehammer
+# Note on Isabelle2024 and its Sledgehammer
 While Isabelle2024 has been released, the updates for PSL and Abduction Prover are not yet complete. 
 Furthermore, due to improvements made to Sledgehammer in Isabelle2024, there seems to be an issue with the integration with PSL. 
 We will address this as soon as possible. 🙇