changed html presentation license to CC BY 4.0

SKolodynski · Mar 9, 2024 · 9a8d576 · 9a8d576
1 parent 36f4f1f
commit 9a8d576
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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-->