diff -r fd0f8fa2b6bd -r 590f5475c531 Admin/page/dist-content/past.content --- a/Admin/page/dist-content/past.content Sat Jan 12 22:17:08 2002 +0100 +++ b/Admin/page/dist-content/past.content Sat Jan 12 22:24:09 2002 +0100 @@ -7,6 +7,7 @@ Past releases of Isabelle are available from the Cambrige ftp archive: