| changeset 10162 | 947b7b8b0a69 |
| parent 10116 | 7e16b36c004f |
| child 10556 | e574274823a4 |
--- 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>