# HG changeset patch # User wenzelm # Date 969477641 -7200 # Node ID 30693ebd16aee2f1644dd1a426f8d76b8e5a6b60 # Parent 4642c9d62aebb97bdcdd46a9f736616491f5086b removed dead code; diff -r 4642c9d62aeb -r 30693ebd16ae Admin/page/dist-layout/template.html --- a/Admin/page/dist-layout/template.html Wed Sep 20 21:20:26 2000 +0200 +++ b/Admin/page/dist-layout/template.html Wed Sep 20 21:20:41 2000 +0200 @@ -5,12 +5,6 @@  - diff -r 4642c9d62aeb -r 30693ebd16ae Admin/page/main-content/index.content --- a/Admin/page/main-content/index.content Wed Sep 20 21:20:26 2000 +0200 +++ b/Admin/page/main-content/index.content Wed Sep 20 21:20:41 2000 +0200 @@ -33,11 +33,9 @@

Obtaining Isabelle

-Several mirror sites provide the Isabelle distribution, which includes source and -binary packages and browsable documentation. The current version is -. +The distribution is available +from several mirror sites. It includes +source and binary packages and browsable documentation.

diff -r 4642c9d62aeb -r 30693ebd16ae Admin/page/main-layout/template.html --- a/Admin/page/main-layout/template.html Wed Sep 20 21:20:26 2000 +0200 +++ b/Admin/page/main-layout/template.html Wed Sep 20 21:20:41 2000 +0200 @@ -5,12 +5,6 @@  -