Admin/website/index.html
changeset 16575 15d5f8e729fe
parent 16300 a4e163c7ed9c
child 16592 e7df213a1918
--- a/Admin/website/index.html	Tue Jun 28 11:55:30 2005 +0200
+++ b/Admin/website/index.html	Tue Jun 28 11:55:30 2005 +0200
@@ -96,7 +96,7 @@
 sub/superscripts allowed in identifiers.</li>
 </ul>
 
-<p><a href="dist/packages/Isabelle/NEWS">[Complete Changelog]</a></p>
+<p><a href="//dist/packages/Isabelle/NEWS">[Complete Changelog]</a></p>
 
 <h2>Download</h2>
 
@@ -104,7 +104,7 @@
 The Isabelle distribution is available
 from several <a href="dist/index.html">mirror sites</a>.  It includes
 source and binary packages and browsable documentation. You can also
-browse the <a href="library/index.html">Isabelle theory library</a>
+browse the <a href="//library/index.html">Isabelle theory library</a>
 online. 
 </p>