Admin/index.html
changeset 4554 2c4b3b31a354
parent 4550 53553ccda0e6
child 4576 be6b5edbca9f
     1.1 --- a/Admin/index.html	Mon Jan 12 13:32:47 1998 +0100
     1.2 +++ b/Admin/index.html	Mon Jan 12 13:48:40 1998 +0100
     1.3 @@ -61,14 +61,13 @@
     1.4  <p>
     1.5  
     1.6  <li> Past releases (from Cambridge): <a
     1.7 -href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle-94
     1.8 -revision 8</a> | <a
     1.9 -href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle-94
    1.10 -revision 7</a> | <a
    1.11 -href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle-94
    1.12 -revision 6</a> | <a
    1.13 -href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle-94</a> |
    1.14 -<a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle-93</a>
    1.15 +href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle94-8</a>
    1.16 +| <a
    1.17 +href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle94-7</a>
    1.18 +| <a
    1.19 +href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle94-6</a>
    1.20 +| <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle94</a>
    1.21 +| <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle93</a>
    1.22  
    1.23  </ul>
    1.24