| author | wenzelm |
| Tue, 13 Feb 2001 16:31:18 +0100 | |
| changeset 11109 | ce1cefc6c14c |
| parent 9920 | 9734f2717203 |
| child 11113 | 8ab6c9093508 |
| 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> |
|
| 11109 | 10 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99-1.tar.gz">Isabelle99</a></li> |
11 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99.tar.gz">Isabelle99</a></li> |
|
12 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98-1.tar.gz">Isabelle98-1</a></li> |
|
13 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98.tar.gz">Isabelle98</a></li> |
|
14 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle94-8</a></li> |
|
15 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle94-7</a></li> |
|
16 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle94-6</a></li> |
|
17 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle94</a></li> |
|
18 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle93</a></li> |
|
| 8056 | 19 |
</ul> |