Bump version number to 5.1.1

LS-Lab · Jul 1, 2024 · 8f87576 · 8f87576
1 parent 1196e82
commit 8f87576
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -4,7 +4,7 @@ import java.nio.file.{Files, Paths}
 import java.util.Properties
 
 ThisBuild / scalaVersion := "2.13.13"
-ThisBuild / version := "5.1.0"
+ThisBuild / version := "5.1.1"
 
 ThisBuild / scalacOptions ++= {
   // Keymaerax has lots of warnings. Due to their volume, important warnings vanish between not-so-important ones.