# HG changeset patch
# User wenzelm
# Date 957969790 -7200
# Node ID d816ec3fab28f08702af0c5dac51fd6c1a138613
# Parent  03cb6625c4a5753765f0547ea7708f42353ebfb6
tuned;

diff -r 03cb6625c4a5 -r d816ec3fab28 Admin/page/dist-content/source.content
--- a/Admin/page/dist-content/source.content	Wed May 10 13:36:27 2000 +0200
+++ b/Admin/page/dist-content/source.content	Wed May 10 16:43:10 2000 +0200
@@ -1,8 +1,8 @@
 %title%
-Isabelle Source Releases
+Isabelle Source Distribution
 
 %body%
-The source distribution of Isabelle:
+The standard source distribution of Isabelle:
 
 <p>