Admin/page/dist-content/source.content
changeset 8851 d816ec3fab28
parent 8841 95f2b61f2389
child 9920 9734f2717203
--- 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>