| author | wenzelm |
| Mon, 11 Sep 2000 17:41:34 +0200 | |
| changeset 9920 | 9734f2717203 |
| parent 8056 | 3c587e7b8fe5 |
| child 11109 | ce1cefc6c14c |
| permissions | -rw-r--r-- |
| kleing@8056 | 1 |
%title% |
| kleing@8056 | 2 |
Isabelle Past Releases |
| kleing@8056 | 3 |
|
| kleing@8056 | 4 |
%body% |
| kleing@8056 | 5 |
<p> |
| kleing@8056 | 6 |
|
| wenzelm@9920 | 7 |
Past releases of Isabelle are available from the Cambrige ftp archive: |
| kleing@8056 | 8 |
|
| kleing@8056 | 9 |
<ul> |
| wenzelm@9920 | 10 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99.tar.gz">Isabelle99</a> </li> |
| kleing@8056 | 11 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98-1.tar.gz">Isabelle98-1</a> </li> |
| kleing@8056 | 12 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98.tar.gz">Isabelle98</a> </li> |
| kleing@8056 | 13 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle94-8</a> </li> |
| kleing@8056 | 14 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle94-7</a> </li> |
| kleing@8056 | 15 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle94-6</a> </li> |
| kleing@8056 | 16 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle94</a> </li> |
| kleing@8056 | 17 |
<li> <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle93</a> </li> |
| kleing@8056 | 18 |
</ul> |