--- a/Admin/website/TODO Tue Jun 28 12:25:19 2005 +0200
+++ b/Admin/website/TODO Tue Jun 28 12:25:19 2005 +0200
@@ -1,11 +1,8 @@
For the next release:
-- use "//" paths for alle internal static resources, due to link consistency (check it)
-
-- Spam-Schutz!? (check it)
-
- attempt to introduce a notion of mirrors, in order to clarify
the relationship between main and dist
+ --> add a "stripprefix" to directive
- centralize scattered project partners informations at "community"
--- a/Admin/website/dist/installation.html Tue Jun 28 12:25:19 2005 +0200
+++ b/Admin/website/dist/installation.html Tue Jun 28 12:25:19 2005 +0200
@@ -29,7 +29,7 @@
</p>
<ul>
- <li>a suitable Standard ML environment</li>
+ <li>a suitable ML environment for Standard ML</li>
<li>the Isabelle system itself, including the desired object logic(s)
(e. g. HOL)</li>
<li>the ProofGeneral user interface</li>
--- a/Admin/website/include/mirrorlist.minor.include.html Tue Jun 28 12:25:19 2005 +0200
+++ b/Admin/website/include/mirrorlist.minor.include.html Tue Jun 28 12:25:19 2005 +0200
@@ -4,8 +4,8 @@
<div class="mirrorlist">
<p>Switch mirror:</p>
<ul>
- <li><?mirror prefix="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/" title="Cambridge (.uk)" ?></li>
- <li><?mirror prefix="http://isabelle.in.tum.de/" title="Munich (.de)" ?></li>
- <li><?mirror prefix="http://mirror.cse.unsw.edu.au/pub/isabelle/" title="Sydney (.au)" stripprefix="dist" ?></li>
+ <li><?mirror prefix="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/" title="Cambridge (.uk)" ?></li>
+ <li><?mirror prefix="http://isabelle.in.tum.de/" title="Munich (.de)" ?></li>
+ <li><?mirror prefix="http://mirror.cse.unsw.edu.au/pub/isabelle/" title="Sydney (.au)" stripprefix="dist/" ?></li>
</ul>
</div>