Bump version number to 4.3.15

LS-Lab · Aug 9, 2017 · 60a80ed · 60a80ed
1 parent f08812f
commit 60a80ed
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION
@@ -1 +1 @@
-4.3.14
+4.3.15
diff --git a/keymaerax.jar b/keymaerax.jar
@@ -1 +1 @@
-keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.14.jar
+keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.15.jar