Admin/index.html
changeset 4549 aa02667fb3da
parent 4541 36ef28482123
child 4550 53553ccda0e6
--- a/Admin/index.html	Fri Jan 09 14:28:20 1998 +0100
+++ b/Admin/index.html	Fri Jan 09 20:07:57 1998 +0100
@@ -10,15 +10,19 @@
 <body>
 
 <h1><a href="http://www.cl.cam.ac.uk/Research/HVG/isabelle.html"><img
-align=bottom src="Isabelle_07-Jan-1998/lib/logo/isabelle.gif"
-width=100 alt="Isabelle"></a> Distribution Area</h1>
+align=bottom src="{ISABELLE}/lib/logo/isabelle.gif" width=100
+alt="Isabelle"></a> Distribution Area</h1>
 
 <p><hr><p>
 
+
 <h2>Mirror sites</h2>
+
 <ul>
 
-<li> <a href="">Cambridge (UK)</a>
+<li> <a
+href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge
+(UK)</a>
 
 <li> <a
 href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich
@@ -30,27 +34,27 @@
 
 <p><hr><p>
 
+
 <h2>Isabelle releases</h2>
 
 <ul>
 
-<li> <a
-href="Isabelle_07-Jan-1998.tar.gz"><strong>Isabelle_07-Jan-1998</strong></a>
-<img src="new.gif" alt="[new]"> - sneak preview of the forthcoming
-Isabelle98 release: <a
-href="Isabelle_07-Jan-1998/README.html">README</a>, <a
-href="Isabelle_07-Jan-1998.tar.gz">archive</a> (1895K), same <a
-href="Isabelle_07-Jan-1998">unpacked</a> (8019K).
+<li> <a href="{ISABELLE}.tar.gz"><strong>{ISABELLE}</strong></a> <img
+src="{ISABELLE}/lib/images/new.gif" alt="[new]"> - sneak preview of
+the forthcoming Isabelle98 release: <a
+href="{ISABELLE}/README.html">README</a>, <a
+href="{ISABELLE}.tar.gz">archive</a> ({PACKED_SIZE}K), same <a
+href="{ISABELLE}">unpacked</a> ({UNPACKED_SIZE}K).
 
 <p> Isabelle documentation (as included in the distribution):
 <ul>
 
-<li> <a href="Isabelle_07-Jan-1998/doc/intro.dvi">Introduction to Isabelle</a>
-<li> <a href="Isabelle_07-Jan-1998/doc/ref.dvi">The Isabelle Reference Manual</a>
-<li> <a href="Isabelle_07-Jan-1998/doc/system.dvi">The Isabelle System Manual</a>
-<li> <a href="Isabelle_07-Jan-1998/doc/logics.dvi">Isabelle's Object-Logics</a>
-<li> <a href="Isabelle_07-Jan-1998/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
-<li> <a href="Isabelle_07-Jan-1998/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>
+<li> <a href="{ISABELLE}/doc/intro.dvi">Introduction to Isabelle</a>
+<li> <a href="{ISABELLE}/doc/ref.dvi">The Isabelle Reference Manual</a>
+<li> <a href="{ISABELLE}/doc/system.dvi">The Isabelle System Manual</a>
+<li> <a href="{ISABELLE}/doc/logics.dvi">Isabelle's Object-Logics</a>
+<li> <a href="{ISABELLE}/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
+<li> <a href="{ISABELLE}/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>
 
 </ul>
 
@@ -70,6 +74,8 @@
 
 <p><hr><p>
 
+<i>{DATE}</i>
+
 </body>
 
 </html>