diff -r 6b14aba5ddaa -r bf2cd93cc245 Admin/website/dist/download_past.html --- a/Admin/website/dist/download_past.html Mon Jul 04 14:42:06 2005 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,46 +0,0 @@ - - - - - - - Older Isabelle Releases - - - - - -
- -
- -
- -
- -

Archive

- - Past releases of Isabelle are available from the Cambridge - archive: - - - -
-
- - - -