--- a/Admin/page/dist-content/packages.content Fri Mar 01 16:59:48 2002 +0100
+++ b/Admin/page/dist-content/packages.content Fri Mar 01 18:12:16 2002 +0100
@@ -44,7 +44,7 @@
<table border="0" cellspacing="5" cellpadding="4" width="520">
<!-- _GP_ downloadhead("Isabelle") -->
-<!-- _GP_ download(1, "Main sources and documentation", distname . ".tar.gz", "../..") -->
+<!-- _GP_ download(1, "Sources and documentation", distname . ".tar.gz", "../..") -->
<!-- _GP_ download(1, "Documentation in PDF", distname . "_pdf.tar.gz", "../..") -->
<!-- _GP_ download(1, "Theory library in PDF and HTML", distname . "_library.tar.gz", "../..") -->