From b6716ba382012bc59fbc5dec224fb176011d6477 Mon Sep 17 00:00:00 2001 From: LSLabBuild Date: Mon, 25 Jan 2021 14:40:30 -0500 Subject: [PATCH] Bump version number to 4.9.3 --- keymaerax-core/src/main/resources/VERSION | 2 +- .../src/main/scala/edu/cmu/cs/ls/keymaerax/core/Version.scala | 2 +- keymaerax.jar | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION index b550c72a11..e94f14fa9e 100644 --- a/keymaerax-core/src/main/resources/VERSION +++ b/keymaerax-core/src/main/resources/VERSION @@ -1 +1 @@ -4.9.2 \ No newline at end of file +4.9.3 \ No newline at end of file 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 index 60cb6e51e2..1f67e3b0f1 100644 --- 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 = "4.9.2" + val VERSION: String = "4.9.3" } diff --git a/keymaerax.jar b/keymaerax.jar index 7b679fcefb..d46bcfe10f 120000 --- a/keymaerax.jar +++ b/keymaerax.jar @@ -1 +1 @@ -./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.2.jar \ No newline at end of file +./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.3.jar \ No newline at end of file