From 3aa757432946bff6f17a7d93cd0d5c7b5eaa34e1 Mon Sep 17 00:00:00 2001 From: LSLabBuild Date: Wed, 28 Feb 2018 10:22:06 -0500 Subject: [PATCH] Bump version number to 4.4.2 --- 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 4f3470c166..f939222922 100644 --- a/keymaerax-core/src/main/resources/VERSION +++ b/keymaerax-core/src/main/resources/VERSION @@ -1 +1 @@ -4.4.1 \ No newline at end of file +4.4.2 \ No newline at end of file diff --git a/keymaerax.jar b/keymaerax.jar index d06c66d037..d8e61347bc 120000 --- a/keymaerax.jar +++ b/keymaerax.jar @@ -1 +1 @@ -./keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.4.1.jar \ No newline at end of file +./keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.4.2.jar \ No newline at end of file