From 4739ecf4f42f88cd48a9e9f2beca1ed8e8e68c89 Mon Sep 17 00:00:00 2001 From: LSLabBuild Date: Fri, 4 Oct 2019 08:54:57 -0400 Subject: [PATCH] Bump version number to 4.7.3 --- keymaerax-core/src/main/resources/VERSION | 2 +- keymaerax.jar | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION index 0b87099cca..4178d093f0 100644 --- a/keymaerax-core/src/main/resources/VERSION +++ b/keymaerax-core/src/main/resources/VERSION @@ -1 +1 @@ -4.7.2 \ No newline at end of file +4.7.3 \ No newline at end of file diff --git a/keymaerax.jar b/keymaerax.jar index 642ba3d28d..06f72b6449 120000 --- a/keymaerax.jar +++ b/keymaerax.jar @@ -1 +1 @@ -./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.7.2.jar \ No newline at end of file +./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.7.3.jar \ No newline at end of file