# HG changeset patch # User wenzelm # Date 1010870649 -3600 # Node ID 590f5475c53163c2555e8b6cf6eb5a24178e5fe1 # Parent fd0f8fa2b6bde36d345a39f81482cf69bdc11fee tuned; diff -r fd0f8fa2b6bd -r 590f5475c531 Admin/page/dist-content/packages.content --- a/Admin/page/dist-content/packages.content Sat Jan 12 22:17:08 2002 +0100 +++ b/Admin/page/dist-content/packages.content Sat Jan 12 22:24:09 2002 +0100 @@ -50,8 +50,8 @@ - - + + 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: