From 9a8d5768fe7b1acefad36a95df05f6513992d654 Mon Sep 17 00:00:00 2001
From: SKolodynski <SKolodynski@users.noreply.github.com>
Date: Sat, 9 Mar 2024 17:28:49 +0100
Subject: [PATCH] changed html presentation license to CC BY 4.0

---
 isar2html2.0/isar2html_template.html | 2 +-
 isar2html2.0/isarhtml/index.html     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar2html2.0/isar2html_template.html b/isar2html2.0/isar2html_template.html
index 23d2ce8..0d2f125 100644
--- a/isar2html2.0/isar2html_template.html
+++ b/isar2html2.0/isar2html_template.html
@@ -71,7 +71,7 @@ <h2>Proofs by humans, for humans, formally verified by Isabelle/ZF proof assista
 
 <a rel="license" href="https://creativecommons.org/licenses/by/3.0/us/">
 <img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by/3.0/80x15.png" /></a>
-This page by <a xmlns:cc="https://creativecommons.org/ns#" href="https://slawekk.wordpress.com/" property="cc:attributionName" rel="cc:attributionURL">Slawomir Kolodynski</a> is licensed under a <a rel="license" href="https://creativecommons.org/licenses/by/3.0/us/">Creative Commons Attribution 3.0 License</a>. BTC: 189qAMLvqevxMrCsZaABMJ3cLkXdSwMNK8
+This page by <a xmlns:cc="https://creativecommons.org/ns#" href="https://slawekk.wordpress.com/" property="cc:attributionName" rel="cc:attributionURL">Slawomir Kolodynski</a> is licensed under <a rel="license" href="https://creativecommons.org/licenses/by/4.0//">CC BY 4.0</a>. BTC: 189qAMLvqevxMrCsZaABMJ3cLkXdSwMNK8
 
       </div>
     </div><!--//main-header-->
diff --git a/isar2html2.0/isarhtml/index.html b/isar2html2.0/isarhtml/index.html
index e155d3b..8dd7b29 100644
--- a/isar2html2.0/isarhtml/index.html
+++ b/isar2html2.0/isarhtml/index.html
@@ -240,7 +240,7 @@ <h3>About this site</h3>
         <div class="frame-bd"></div>
 <a rel="license" href="https://creativecommons.org/licenses/by/3.0/us/">
 <img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by/3.0/80x15.png" /></a>
-This page by <a xmlns:cc="https://creativecommons.org/ns#" href="https://slawekk.wordpress.com/" property="cc:attributionName" rel="cc:attributionURL">Slawomir Kolodynski</a> is licensed under a <a rel="license" href="https://creativecommons.org/licenses/by/3.0/us/">Creative Commons Attribution 3.0 License</a>.
+This page by <a xmlns:cc="https://creativecommons.org/ns#" href="https://slawekk.wordpress.com/" property="cc:attributionName" rel="cc:attributionURL">Slawomir Kolodynski</a> is licensed under <a rel="license" href="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0</a>.
       </div>
     </div><!--//main-header-->
   </div><!--//doc-->