Bump version number to 4.3.13

nrfulton · nrfulton · commit c7f489d2d5e8 · 2017-07-27T14:47:40.000-04:00
diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION
@@ -1 +1 @@
-4.3.12
+4.3.13
diff --git a/keymaerax.jar b/keymaerax.jar
@@ -1 +1 @@
-keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.12.jar
+keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.13.jar

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.12.jar`
	`1`	`+keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.13.jar`