isabelle: Admin/page/dist-content/index.content@c3d90724abcc (annotated)

8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	1
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	2	<!-- $Id$ -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	3
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	4	%title%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	5	Isabelle Distribution Area
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	6
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	7
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	8	%body%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	9	<p>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	10
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	11	<h2>Mirror sites (in alphabetical order)</h2>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	12
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	13	<ul>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	14
8070 dbbef2367723 some tuning (incorporated David's suggestions) kleing parents: 8056 diff changeset	15	<li> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/source.html">Cambridge (UK)</a> <br> </li>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	16
8070 dbbef2367723 some tuning (incorporated David's suggestions) kleing parents: 8056 diff changeset	17	<li> <a href="http://isabelle.in.tum.de/dist/source.html">Munich (Germany)</a> <br> </li>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	18
8629 c3d90724abcc included new stanford mirror, mirror links now point to source directly kleing parents: 8070 diff changeset	19	<li> <a href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html">New Jersey (USA)</a> <br> </li>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	20
8629 c3d90724abcc included new stanford mirror, mirror links now point to source directly kleing parents: 8070 diff changeset	21	<li> <a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html">Stanford (USA)</a> <br> </li>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	22
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	23	</ul>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	24
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	25

author	kleing
	Fri, 31 Mar 2000 10:15:33 +0200
changeset 8629	c3d90724abcc
parent 8070	dbbef2367723
child 9920	9734f2717203
permissions	-rw-r--r--