diff -r 9feb1e0c4cb3 -r aea053733eb0 Admin/page/dist-content/binary.content
--- a/Admin/page/dist-content/binary.content	Tue Sep 12 15:43:15 2000 +0200
+++ b/Admin/page/dist-content/binary.content	Tue Sep 12 17:01:14 2000 +0200
@@ -3,6 +3,14 @@
 
 %body%
 
+<p>
+
+The binary distribution is designed for easy installation of Isabelle
+and related tools (Proof General and X-Symbol) on common platforms.
+There is no manual intervention requires, no need to edit config files
+etc. by hand.
+
+
 <h2>(1) Linux/x86 systems with RPM</h2>
 
 This is the binary distribution of <!-- _GP_ distname --> for