author | kleing |
Fri, 24 Oct 2003 01:44:12 +0200 | |
changeset 14246 | 60d2034376bc |
parent 14245 | c0272df4775b |
child 14247 | cb32eb89bddd |
--- 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>