| changeset 14246 | 60d2034376bc |
| parent 14015 | b5372f8e34d6 |
| child 14623 | 811c09d426cc |
--- a/Admin/page/dist-content/index.content Wed Oct 22 10:53:12 2003 +0200 +++ b/Admin/page/dist-content/index.content Fri Oct 24 01:44:12 2003 +0200 @@ -18,6 +18,8 @@ <li><a href="http://isabelle.in.tum.de/dist/packages.html">Munich (Germany)</a> +<li><a href="http://mirror.cse.unsw.edu.au/pub/isabelle/packages.html">Sydney (Australia)</a> + </ul>