Admin/website/include/downloadtable.include.html

   <tr><td colspan="3" class="downloadheader">Isabelle</td></tr>
   <tr>
     <td>
       Sources and documentation
     </td>
-    <?downloadCells target="//dist/packages/Isabelle2004.tar.gz" title="Isabelle2004.tar.gz"?>
+    <?downloadCells target="//dist/packages/Isabelle2005.tar.gz" title="Isabelle2005.tar.gz"?>
   </tr>
   <tr>
     <td>
       Documentation in PDF
     </td>
-    <?downloadCells target="//dist/packages/Isabelle2004_pdf.tar.gz" title="Isabelle2004_pdf.tar.gz"?>
+    <?downloadCells target="//dist/packages/Isabelle2005_pdf.tar.gz" title="Isabelle2005_pdf.tar.gz"?>
   </tr>
   <tr>
     <td>
       Theory library in PDF and HTML
     </td>
-    <?downloadCells target="//dist/packages/Isabelle2004_library.tar.gz" title="Isabelle2004_library.tar.gz"?>
+    <?downloadCells target="//dist/packages/Isabelle2005_library.tar.gz" title="Isabelle2005_library.tar.gz"?>
   </tr>
   <tr><td colspan="3" class="downloadheader">Proof General</td></tr>
   <tr>
     <td>
       Proof General
     </td>
-    <?downloadCells target="//dist/packages/contrib/ProofGeneral-3.5.tar.gz" title="ProofGeneral-3.5.tar.gz"?>
+    <?downloadCells target="//dist/packages/contrib/ProofGeneral.tar.gz" title="ProofGeneral.tar.gz"?>
   </tr>
   <tr><td colspan="3" class="downloadheader">Poly/ML compiler and runtime system</td></tr>
   <tr>
-    <td>
-      Poly/ML base system
-    </td>
-    <?downloadCells target="//dist/packages/contrib/polyml_base.tar.gz" title="polyml_base.tar.gz"?>
-  </tr>
-  <tr>
     <td rowspan="3">
-      Poly/ML binary modules
+      Poly/ML
     </td>
     <?downloadCells target="//dist/packages/contrib/polyml_x86-linux.tar.gz" title="polyml_x86-linux.tar.gz"?>
   </tr>
   <tr>
     <td style="display: none"></td>

       HOL4 proof terms
     </td>
     <?downloadCells target="//dist/packages/contrib/HOL4-proofs.tar.gz" title="HOL4-proofs.tar.gz"?>
 </tr>
 </table>
-