1.1 --- a/Admin/page/dist-content/packages.content	Fri Oct 06 15:15:19 2000 +0200
     1.2 +++ b/Admin/page/dist-content/packages.content	Fri Oct 06 16:11:53 2000 +0200
     1.3 @@ -118,6 +118,8 @@
     1.4  
     1.5  <p>
     1.6  
     1.7 -Users can now invoke the Isabelle executables without further ado.
     1.8 +Users can now invoke the Isabelle executables without further ado,
     1.9 +e.g. just start the main <tt>Isabelle</tt> executable to lauch the
    1.10 +Isabelle Proof General interface.
    1.11  
    1.12  <p>