1.1 --- a/Admin/page/main-content/index.content Thu Mar 06 12:22:09 2003 +0100
1.2 +++ b/Admin/page/main-content/index.content Thu Mar 06 12:22:28 2003 +0100
1.3 @@ -47,7 +47,9 @@
1.4
1.5 The <strong><!-- _GP_ distname --></strong> distribution is available
1.6 from several <a href="dist/index.html">mirror sites</a>. It includes
1.7 -source and binary packages and browsable documentation.
1.8 +source and binary packages and browsable documentation. There is also
1.9 +a nightly generated <a href="http://isabelle.in.tum.de/devel/">development
1.10 +snapshot</a> available.
1.11
1.12 <p>
1.13