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