author | kleing |
Mon, 12 May 2003 15:46:35 +0200 | |
changeset 14016 | f19faa78ce61 |
parent 12731 | 590f5475c531 |
child 14379 | ea10a8c3e9cf |
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> |
kleing@14016 | 10 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle2002.tar.gz">Isabelle2002</a></li> |
wenzelm@12731 | 11 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99-2.tar.gz">Isabelle99-2</a></li> |
wenzelm@11113 | 12 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99-1.tar.gz">Isabelle99-1</a></li> |
wenzelm@11109 | 13 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle99.tar.gz">Isabelle99</a></li> |
wenzelm@11109 | 14 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98-1.tar.gz">Isabelle98-1</a></li> |
wenzelm@11109 | 15 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98.tar.gz">Isabelle98</a></li> |
wenzelm@11109 | 16 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle94-8</a></li> |
wenzelm@11109 | 17 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle94-7</a></li> |
wenzelm@11109 | 18 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle94-6</a></li> |
wenzelm@11109 | 19 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle94</a></li> |
wenzelm@11109 | 20 |
<li><a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle93</a></li> |
kleing@8056 | 21 |
</ul> |