From abd930a0dd4c47a289416fa4a95509e944aa9d88 Mon Sep 17 00:00:00 2001 From: Richard Bubel Date: Thu, 23 Dec 2021 10:50:33 +0100 Subject: [PATCH] Fix version information in README.md --- key/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/key/README.md b/key/README.md index e21154c8121..c2af2a48fcd 100644 --- 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: