Rename download link to be more stable

Reverting "Fix download link in README.md"
LS-Lab · Aug 30, 2024 · c6427ca · c6427ca
1 parent 95b5985
commit c6427ca
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -33,7 +33,7 @@ KeYmaera X also supports the verification of _hybrid games_ in _differential gam
   or [Wolfram Engine](http://www.wolfram.com/engine/).
   See below for more details on the different arithmetic solvers.
 
-3. Download the file [keymaerax.jar](https://github.com/LS-Lab/KeYmaeraX-release/releases/latest/download/keymaerax.jar)
+3. Download the file [keymaerax.jar](https://keymaeraX.org/keymaerax.jar)
 
 4. Configure KeYmaera X according to the **Configuration** section below.
 

diff --git a/keymaerax-webui/src/main/resources/index_bootstrap.html b/keymaerax-webui/src/main/resources/index_bootstrap.html
@@ -56,7 +56,7 @@
     <div class="container">
         <h1>KeYmaera&#160;X
             <a ng-if="!isLocal" ng-cloak type="button" class="btn btn-info btn-lg"
-               href="https://github.com/LS-Lab/KeYmaeraX-release/releases/latest/download/keymaerax.jar"><i class="fa fa-download"></i> Download</a></h1>
+               href="http://keymaerax.org/keymaerax.jar"><i class="fa fa-download"></i> Download</a></h1>
         <p>An aXiomatic Tactical Theorem Prover for Hybrid Systems</p>
     </div>
 <noscript>

diff --git a/keymaerax-webui/src/main/resources/keymaerax-projects b/keymaerax-webui/src/main/resources/keymaerax-projects