From 1b60cec23c6f3b3d26da2a183a111b2027799790 Mon Sep 17 00:00:00 2001
From: "E. Prebet" <enguerrand.prebet@kit.edu>
Date: Fri, 30 Aug 2024 17:35:57 +0200
Subject: [PATCH] Fix url typo

---
 README.md                                               | 2 +-
 keymaerax-webui/src/main/resources/index_bootstrap.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 954e4e9823..621bb495ea 100644
--- 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
index 74f3d5f942..8058573321 100644
--- 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>