Admin/index.html

 <ul>
 
 <li> <a href="{ISABELLE}/README.html">README</a>
 <li> <a href="{ISABELLE}.tar.gz">main archive</a> ({PACKED_SIZE}K)
 including all documentation in dvi format
-<li> <a href="{ISABELLE}_pdf.tar.gz">documentation in pdf format</a>
+<li> <a href="{ISABELLE}_pdf.tar.gz">documentation</a> in pdf format
 ({PACKED_SIZE_PDF}K)
 <li> all files <a href="{ISABELLE}">unpacked</a> ({UNPACKED_SIZE}K)
 
 </ul>