isabelle: Admin/website/include/mirrorlist.minor.include.html@3d2929031e51 (annotated)

16579 094a538d8813 some minor improvements haftmann parents: diff changeset	1	<?xml version='1.0' encoding='iso-8859-1' ?>
094a538d8813 some minor improvements haftmann parents: diff changeset	2	<!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
094a538d8813 some minor improvements haftmann parents: diff changeset	3	<!-- $Id$ -->
094a538d8813 some minor improvements haftmann parents: diff changeset	4	<div class="mirrorlist">
16581 3d2929031e51 some minor improvements haftmann parents: 16579 diff changeset	5	<p>Switch mirror:</p>
16579 094a538d8813 some minor improvements haftmann parents: diff changeset	6	<ul>
094a538d8813 some minor improvements haftmann parents: diff changeset	7	<li><?mirror prefix="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/" title="Cambridge (.uk)" ?></li>
094a538d8813 some minor improvements haftmann parents: diff changeset	8	<li><?mirror prefix="http://isabelle.in.tum.de/" title="Munich (.de)" ?></li>
094a538d8813 some minor improvements haftmann parents: diff changeset	9	<li><?mirror prefix="http://mirror.cse.unsw.edu.au/pub/isabelle/" title="Sydney (.au)" ?></li>
094a538d8813 some minor improvements haftmann parents: diff changeset	10	</ul>
094a538d8813 some minor improvements haftmann parents: diff changeset	11	</div>