Bump version number to 4.3.5

LS-Lab · Feb 20, 2017 · 6f2cf5f · 6f2cf5f
1 parent afdebef
commit 6f2cf5f
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.4
+4.3.5
diff --git a/keymaerax.jar b/keymaerax.jar
@@ -1 +1 @@
-keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.4.jar
+keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.5.jar