4.1b3

LS-Lab · Feb 19, 2016 · 12ddc0d · 12ddc0d
1 parent 6f69224
commit 12ddc0d
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/build.sbt b/build.sbt
@@ -2,7 +2,7 @@ scalaVersion in ThisBuild := "2.11.7"
 
 //scalacOptions in ThisBuild ++= Seq("-Xno-patmat-analysis")
 
-version := "4.1b2"
+version := "4.1b3"
 
 lazy val core = (project in file("keymaerax-core"))
 

diff --git a/keymaerax-core/build.sbt b/keymaerax-core/build.sbt
@@ -1,6 +1,6 @@
 name := "KeYmaeraX-Core"
 
-version := "4.1b2"
+version := "4.1b3"
 
 assemblyJarName in assembly := "keymaerax-core-" + version.value + ".jar" 
 

diff --git a/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/package.scala b/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/core/package.scala
@@ -168,7 +168,7 @@ package edu.cmu.cs.ls.keymaerax
  */
 package object core {
   /** KeYmaera X version number */
-  val VERSION = "4.1b2"
+  val VERSION = "4.1b3"
 
   /** Insist on requirement being true, throwing a [[CoreException]] if false.
     *  This method is a require` coming from the prover core that cannot be disabled.

diff --git a/keymaerax-webui/build.sbt b/keymaerax-webui/build.sbt
@@ -1,6 +1,6 @@
 name := "KeYmaeraX-Web"
 
-version := "4.1b2"
+version := "4.1b3"
 
 //scalacOptions ++= Seq("-Xno-patmat-analysis")
 

diff --git a/keymaerax-webui/src/main/resources/partials/proofawesome.html b/keymaerax-webui/src/main/resources/partials/proofawesome.html
@@ -148,7 +148,7 @@
                             </button>
                             <ul class="dropdown-menu">
                                 <li><a ng-click="openTacticEditor()">Open Tactic Editor</a></li>
-                                <li><a ng-click="extractTactic()">Extract Tactic</a></li>
+                                <!--<li><a ng-click="extractTactic()">Extract Tactic</a></li>-->
                             </ul>
                         </div>
                     </form>