Admin/index.html
changeset 4554 2c4b3b31a354
parent 4550 53553ccda0e6
child 4576 be6b5edbca9f
--- a/Admin/index.html	Mon Jan 12 13:32:47 1998 +0100
+++ b/Admin/index.html	Mon Jan 12 13:48:40 1998 +0100
@@ -61,14 +61,13 @@
 <p>
 
 <li> Past releases (from Cambridge): <a
-href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle-94
-revision 8</a> | <a
-href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle-94
-revision 7</a> | <a
-href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle-94
-revision 6</a> | <a
-href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle-94</a> |
-<a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle-93</a>
+href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle94-8</a>
+| <a
+href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle94-7</a>
+| <a
+href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle94-6</a>
+| <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle94</a>
+| <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle93</a>
 
 </ul>