Admin/page/dist-content/index.content
author haftmann
Sun, 05 Jun 2005 14:33:02 +0200
changeset 16275 951803bff5b1
parent 14623 811c09d426cc
permissions -rw-r--r--
a more spohisticated symlink handling
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
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
wenzelm
parents: 10016
diff changeset
    16
(UK)</a>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    17
11109
wenzelm
parents: 10020
diff changeset
    18
<li><a href="http://isabelle.in.tum.de/dist/packages.html">Munich
10020
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
&nbsp;
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.