Bump version number to 4.9.2

LSLabBuild · LSLabBuild · commit 6ea3c8816949 · 2020-12-02T20:19:10.000-05:00
diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION
@@ -1 +1 @@
-4.9.1
+4.9.2
diff --git a/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/Version.scala b/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/Version.scala
@@ -3,5 +3,5 @@ package edu.cmu.cs.ls.keymaerax.core
 /** KeYmaera X versions. */
 object Version {
   /** KeYmaera X core kernel version number */
-  val VERSION: String = "4.9.1"
+  val VERSION: String = "4.9.2"
 }
diff --git a/keymaerax.jar b/keymaerax.jar
@@ -1 +1 @@
-./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.1.jar
+./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.2.jar

Original file line number	Diff line number	Diff line change
`@@ -3,5 +3,5 @@ package edu.cmu.cs.ls.keymaerax.core`
`3`	`3`	`/** KeYmaera X versions. */`
`4`	`4`	`object Version {`
`5`	`5`	`/** KeYmaera X core kernel version number */`
`6`		`- val VERSION: String = "4.9.1"`
	`6`	`+ val VERSION: String = "4.9.2"`
`7`	`7`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.1.jar`
	`1`	`+./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.9.2.jar`