Fix version information in README.md

KeYProject · Dec 23, 2021 · abd930a · abd930a
1 parent 1d43647
commit abd930a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/key/README.md b/key/README.md
@@ -7,7 +7,7 @@ This folder contains the interactive theorem prover KeY for the verification of
 You can find more information on KeY on our [website](https://key-project.org) or in use the
 documentation in the companion repository [key-docs](https://git.key-project.org/key/key-docs).
 
-The current version is 2.8.0, licensed under GPL v2.
+The current version is 2.10.0, licensed under GPL v2.
 
 
 ## Requirements: