Admin/page/dist-content/packages.content

 &nbsp;&nbsp; ./bin/isatool install -p /usr/local/bin <br>
 </tt>
 
 <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>