diff -r 4a3cd038aff8 -r 947b7b8b0a69 Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Fri Oct 06 15:15:19 2000 +0200
+++ b/Admin/page/dist-content/packages.content	Fri Oct 06 16:11:53 2000 +0200
@@ -118,6 +118,8 @@
 
 <p>
 
-Users can now invoke the Isabelle executables without further ado.
+Users can now invoke the Isabelle executables without further ado,
+e.g. just start the main <tt>Isabelle</tt> executable to lauch the
+Isabelle Proof General interface.
 
 <p>