author | wenzelm |
Sat, 12 Jan 2002 22:24:09 +0100 | |
changeset 12731 | 590f5475c531 |
parent 11113 | 8ab6c9093508 |
child 14016 | f19faa78ce61 |
permissions | -rw-r--r-- |
8056 | 1 |
%title% |
2 |
Isabelle Past Releases |
|
3 |
||
4 |
%body% |
|
5 |
<p> |
|
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 | 8 |
|
9 |
<ul> |
|
12731 | 10 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99-2.tar.gz">Isabelle99-2</a></li> |
11113 | 11 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99-1.tar.gz">Isabelle99-1</a></li> |
11109 | 12 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99.tar.gz">Isabelle99</a></li> |
13 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98-1.tar.gz">Isabelle98-1</a></li> |
|
14 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98.tar.gz">Isabelle98</a></li> |
|
15 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle94-8</a></li> |
|
16 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle94-7</a></li> |
|
17 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle94-6</a></li> |
|
18 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle94</a></li> |
|
19 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle93</a></li> |
|
8056 | 20 |
</ul> |