Commit 666bcb0c authored by Richard Bubel's avatar Richard Bubel
Browse files

Fix version information in

parent 02524985
......@@ -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]( or in use the
documentation in the companion repository [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:
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment