Fix url typo

LS-Lab · Aug 30, 2024 · 1b60cec · 1b60cec
1 parent cd8f77e
commit 1b60cec
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 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://keymaeraX.org/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="http://keymaerax.org/keymaerax.jar"><i class="fa fa-download"></i> Download</a></h1>
+               href="https://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>