isabelle: Admin/page/dist-content/index.content@95cc0d447916 (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	%body%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	8	<p>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	9
13848 12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	10	<h2>Stable Release, mirror sites (in alphabetical order)</h2>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	11
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	12	<ul>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	13
11109 ce1cefc6c14c tuned; wenzelm parents: 10020 diff changeset	14	<li><a
10016 3833b58a5d88 improved pages; wenzelm parents: 10006 diff changeset	15	href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/packages.html">Cambridge
10020 46e77dff3970 tuned; wenzelm parents: 10016 diff changeset	16	(UK)</a>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	17
11109 ce1cefc6c14c tuned; wenzelm parents: 10020 diff changeset	18	<li><a href="http://isabelle.in.tum.de/dist/packages.html">Munich
10020 46e77dff3970 tuned; wenzelm parents: 10016 diff changeset	19	(Germany)</a>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	20
14246 60d2034376bc added sydney unsw mirror. contact: me (gerwin.klein@nicta.com.au) kleing parents: 14015 diff changeset	21	<li><a href="http://mirror.cse.unsw.edu.au/pub/isabelle/packages.html">Sydney (Australia)</a>
60d2034376bc added sydney unsw mirror. contact: me (gerwin.klein@nicta.com.au) kleing parents: 14015 diff changeset	22
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	23	</ul>
13848 12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	24
12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	25
12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	26
12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	27
12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	28	<p>
12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	29
12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	30	<h2>Development Snapshot</h2>
12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	31
12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	32	For the curious we provide a nightly generated CVS <a
12ffc04fee22 link to devel snapshot kleing parents: 13046 diff changeset	33	href="http://isabelle.in.tum.de/devel/">development snapshot</a> of
14623 811c09d426cc devel snapshot is now tested kleing parents: 14246 diff changeset	34	Isabelle.

author	paulson
	Fri, 12 Nov 2004 16:26:19 +0100
changeset 15279	95cc0d447916
parent 14623	811c09d426cc
permissions	-rw-r--r--