From 75717aeabfb1a49c3ceab45fa43a237350aecac0 Mon Sep 17 00:00:00 2001 From: LSLabBuild Date: Thu, 18 Jan 2018 13:16:34 -0500 Subject: [PATCH] Bump version number to 4.4.1 --- 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 515be8f918..4f3470c166 100644 --- a/keymaerax-core/src/main/resources/VERSION +++ b/keymaerax-core/src/main/resources/VERSION @@ -1 +1 @@ -4.4 +4.4.1 \ No newline at end of file diff --git a/keymaerax.jar b/keymaerax.jar index 7dda0ddc7e..d06c66d037 120000 --- a/keymaerax.jar +++ b/keymaerax.jar @@ -1 +1 @@ -keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.4.jar \ No newline at end of file +./keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.4.1.jar \ No newline at end of file