changeset 8841 | 95f2b61f2389 |
parent 8630 | c3af577e7c7b |
child 8851 | d816ec3fab28 |
--- a/Admin/page/dist-content/source.content Mon May 08 20:59:30 2000 +0200 +++ b/Admin/page/dist-content/source.content Mon May 08 21:00:27 2000 +0200 @@ -20,7 +20,9 @@ <p> -Please see the Isabelle <a href="{ISABELLE}/README.html">README</a> file for more information. +Please see the Isabelle <a href="{ISABELLE}/README.html">README</a> +and <a href="{ISABELLE}/INSTALL">INSTALL</a> files for more +information. <p>