Bump version to 4.3.10.

nrfulton · nrfulton · commit 5dd38f28f608 · 2017-05-24T17:35:41.000-04:00
* Bug fixes to model import.
 * Mathematica/QE: Use TCP-based link to Mathematica instead of MathLink.
 * Mathematica/QE: Improved QE logging
 * Improvements to diamond ODE solver.
 * GUI: equality rewriting is now displayed in context menu.
 * GUIL dL and Bellerophon sytax hi-lighting.
 * GUI: Improvements to proving interface.
 * Speed improvement: in-memory database.
diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION
@@ -1 +1 @@
-4.3.9
+4.3.10
diff --git a/keymaerax.jar b/keymaerax.jar
@@ -1 +1 @@
-keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.9.jar
+keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.10.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.9.jar`
	`1`	`+keymaerax-webui/target/scala-2.11/KeYmaeraX-Web-assembly-4.3.10.jar`