refreshing

index.html

@@ -15,9 +15,9 @@
 <h1 id="euler-yet-another-proof-engine-eye">Euler Yet another proof Engine - EYE</h1>
 
 <p><img align="left" src="https://josd.github.io/images/eye.png" alt="EYE"/>
-<a href="https://github.com/eyereasoner/eye">EYE</a> is a reasoning engine supporting the <a href="http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a">Semantic Web layers</a>.
+<a href="https://github.com/eyereasoner/eye">EYE</a> is a reasoning engine supporting the <a href="https://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a">Semantic Web layers</a>.
 It performs forward and backward chaining along Euler paths.
-Via <a href="https://w3c.github.io/N3/spec/">N3</a> it is interoperable with <a href="http://www.w3.org/2000/10/swap/doc/cwm">Cwm</a>.<br/>
+Via <a href="https://w3c.github.io/N3/spec/">N3</a> it is interoperable with <a href="https://www.w3.org/2000/10/swap/doc/cwm">Cwm</a>.<br/>
 
 Forward chaining is applied for rules using <code>=&gt;</code> in <a href="https://w3c.github.io/N3/spec/">N3</a> and backward chaining
 is applied for rules using <code>&lt;=</code> in <a href="https://w3c.github.io/N3/spec/">N3</a> which one can imagine as built-ins.
@@ -49,7 +49,7 @@ <h2 id="eye-unifying-logic">EYE Unifying Logic</h2>
 
 <h2 id="eye-reasoning">EYE Reasoning</h2>
 
-<p>Running the Semantic Web Databus and Proofbus from <a href="http://www.w3.org/People/Berners-Lee/">Tim Berners-Lee</a> which is
+<p>Running the Semantic Web Databus and Proofbus from <a href="https://www.w3.org/People/Berners-Lee/">Tim Berners-Lee</a> which is
 like a world wide welding machine transforming data into proofs:</p>
 <p><img src="https://www.w3.org/DesignIssues/diagrams/sweb-bus.png" width="480" height="400" alt="PDB"/></p>