# HG changeset patch
# User kleing
# Date 950100215 -3600
# Node ID 6be623684675840e475c47cf5ffa8d04492c2109
# Parent  e04928747b18a274a04a268b7f7b6154a9c4cf30
clearer "Obtaining" section

diff -r e04928747b18 -r 6be623684675 Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Wed Feb 09 12:30:25 2000 +0100
+++ b/Admin/page/main-content/index.content	Wed Feb 09 13:43:35 2000 +0100
@@ -36,11 +36,14 @@
 
 <h2>Obtaining Isabelle</h2>
 
-The current version is <strong>{ISABELLE}</strong>.  Several mirror
-sites provide the Isabelle <a href="dist/">distribution</a>, which
-includes <a href="dist/source.html">sources</a>, 
-<a href="dist/binary.html">binary packages</a>, and 
-<a href="dist/docs.html">documentation</a>.
+Visit the <a href="dist/">download page</a>.
+<p>
+  Several mirror sites provide the Isabelle <a
+  href="dist/">distribution</a>, which includes <a
+  href="dist/source.html">sources</a>, <a
+  href="dist/binary.html">binary packages</a>, and <a
+  href="dist/docs.html">documentation</a>. 
+  The current version is <strong>{ISABELLE}</strong>.
 
 <p>
 &nbsp;