author | wenzelm |
Fri, 06 Oct 2000 16:11:53 +0200 | |
changeset 10162 | 947b7b8b0a69 |
parent 9920 | 9734f2717203 |
child 11109 | ce1cefc6c14c |
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> |
|
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8056
diff
changeset
|
10 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99.tar.gz">Isabelle99</a> </li> |
8056 | 11 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98-1.tar.gz">Isabelle98-1</a> </li> |
12 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98.tar.gz">Isabelle98</a> </li> |
|
13 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle94-8</a> </li> |
|
14 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle94-7</a> </li> |
|
15 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle94-6</a> </li> |
|
16 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle94</a> </li> |
|
17 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle93</a> </li> |
|
18 |
</ul> |