Bump version number to 4.7.4

LS-Lab · Nov 4, 2019 · a7f8287 · a7f8287
1 parent 81b9feb
commit a7f8287
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.7.3
+4.7.4
diff --git a/keymaerax.jar b/keymaerax.jar
@@ -1 +1 @@
-./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.7.3.jar
+./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.7.4.jar