isabelle: Admin/page/dist-content/past.content@04b603a6f17d (annotated)

8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	1	%title%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	2	Isabelle Past Releases
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	3
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	4	%body%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	5	<p>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	6
9920 9734f2717203 improved WWW page generation (still somewhat experimental); wenzelm parents: 8056 diff changeset	7	Past releases of Isabelle are available from the Cambrige ftp archive:
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	8
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	9	<ul>
14379 ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	10	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle2002.tar.gz">Isabelle2002</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	11	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle99-2.tar.gz">Isabelle99-2</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	12	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle99-1.tar.gz">Isabelle99-1</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	13	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle99.tar.gz">Isabelle99</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	14	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle98-1.tar.gz">Isabelle98-1</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	15	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle98.tar.gz">Isabelle98</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	16	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle94-8.tar.gz">Isabelle94-8</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	17	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle94-7.tar.gz">Isabelle94-7</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	18	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle94-6.tar.gz">Isabelle94-6</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	19	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle94.tar.gz">Isabelle94</a></li>
ea10a8c3e9cf updated links to the old ftp site paulson parents: 14016 diff changeset	20	<li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle93.tar.gz">Isabelle93</a></li>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	21	</ul>

author	nipkow
	Wed, 11 Feb 2004 00:37:18 +0100
changeset 14380	04b603a6f17d
parent 14379	ea10a8c3e9cf
child 14573	3ad3df2744db
permissions	-rw-r--r--