--- 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