Bump version number to 5.1.0

LS-Lab · Jun 26, 2024 · 6514b77 · 6514b77
1 parent 4f963c1
commit 6514b77
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.0.2"
+ThisBuild / version := "5.1.0"
 
 ThisBuild / scalacOptions ++= {
  // Keymaerax has lots of warnings. Due to their volume, important warnings vanish between not-so-important ones.