--- 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>
--- a/Admin/makedist Fri Jan 09 14:28:20 1998 +0100
+++ b/Admin/makedist Fri Jan 09 20:07:57 1998 +0100
@@ -123,6 +123,7 @@
find Doc \( -name \*.dvi -o -name \*.eps -o -name \*.ps \) -exec mv {} Distribution/doc \;
rm Distribution/doc/Isa-logics.eps
+cp Admin/index.html $DISTBASE
rm -rf Admin Doc
mkdir src
@@ -157,11 +158,26 @@
if type -path gtar
then
- gtar czf $DISTNAME.tar.gz $DISTNAME
+ gtar cf $DISTNAME.tar $DISTNAME
else
- tar cf - $DISTNAME | gzip >$DISTNAME.tar.gz
+ tar cf $DISTNAME.tar $DISTNAME
fi
+UNPACKED_SIZE=$[ $(wc -c <$DISTNAME.tar) / 1024 ]
+
+gzip $DISTNAME.tar
+
+PACKED_SIZE=$[ $(wc -c <$DISTNAME.tar.gz) / 1024 ]
+
+
+# prepare index.html
+
+perl -pi -e \
+ "s/{ISABELLE}/$DISTNAME/g; \
+ s/{PACKED_SIZE}/$PACKED_SIZE/g; \
+ s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \
+ s/{DATE}/$DATE/g;" index.html
+
# final note