Bump version number to 5.0.2

LS-Lab · Jun 5, 2023 · 06b55f7 · 06b55f7
1 parent 7adf53b
commit 06b55f7
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION
@@ -1 +1 @@
-5.0.1
+5.0.2
diff --git a/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/Version.scala b/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/Version.scala
@@ -3,5 +3,5 @@ package edu.cmu.cs.ls.keymaerax.core
 /** KeYmaera X versions. */
 object Version {
   /** KeYmaera X core kernel version number */
-  val VERSION: String = "5.0.1"
+  val VERSION: String = "5.0.2"
 }
diff --git a/keymaerax.jar b/keymaerax.jar
@@ -1 +1 @@
-./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-5.0.1.jar
+./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-5.0.2.jar