1.1 --- a/Admin/index.html Mon Nov 01 23:29:27 1999 +0100
1.2 +++ b/Admin/index.html Tue Nov 02 17:28:24 1999 +0100
1.3 @@ -45,7 +45,7 @@
1.4 <li> <a href="{ISABELLE}/README.html">README</a>
1.5 <li> <a href="{ISABELLE}.tar.gz">main archive</a> ({PACKED_SIZE}K)
1.6 including all documentation in dvi format
1.7 -<li> <a href="{ISABELLE}_pdf.tar.gz">documentation in pdf format</a>
1.8 +<li> <a href="{ISABELLE}_pdf.tar.gz">documentation</a> in pdf format
1.9 ({PACKED_SIZE_PDF}K)
1.10 <li> all files <a href="{ISABELLE}">unpacked</a> ({UNPACKED_SIZE}K)
1.11