Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/include/navigation_dist.include.html
changeset 16296 f05c81817ec6
parent 16239 5be516f79075 
--- a/Admin/website/include/navigation_dist.include.html	Mon Jun 06 11:30:57 2005 +0200
+++ b/Admin/website/include/navigation_dist.include.html	Mon Jun 06 12:17:59 2005 +0200
@@ -6,7 +6,7 @@
     <ul>
         <?navitem target="index.html"           title="Mirrors"          ?>
         <?navitem target="installation.html"    title="Installation"     ?>
-        <?navitem target="download.html"        title="Download"         ?>
+        <?navitem target="download.html"        title="Packages"         ?>
         <?navitem target="documentation.html"   title="Documentation"    ?>
         <?navitem target="others.html"          title="Other links"      ?>
     </ul>
isabelle