link to devel snapshot
authorkleing
Thu Mar 06 12:22:28 2003 +0100 (2003-03-06)
changeset 1384812ffc04fee22
parent 13847 a5e48bc08148
child 13849 2584233cf3ef
link to devel snapshot
Admin/page/dist-content/index.content
Admin/page/main-content/index.content
     1.1 --- a/Admin/page/dist-content/index.content	Thu Mar 06 12:22:09 2003 +0100
     1.2 +++ b/Admin/page/dist-content/index.content	Thu Mar 06 12:22:28 2003 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  %body%
     1.5  <p>
     1.6  
     1.7 -<h2>Mirror sites (in alphabetical order)</h2>
     1.8 +<h2>Stable Release, mirror sites (in alphabetical order)</h2>
     1.9  
    1.10  <ul>	
    1.11  
    1.12 @@ -23,3 +23,15 @@
    1.13  Jersey (USA)</a>
    1.14  
    1.15  </ul>
    1.16 +
    1.17 +
    1.18 +&nbsp;
    1.19 +
    1.20 +<p>
    1.21 +
    1.22 +<h2>Development Snapshot</h2>
    1.23 +
    1.24 +For the curious we provide a nightly generated CVS <a
    1.25 +href="http://isabelle.in.tum.de/devel/">development snapshot</a> of
    1.26 +Isabelle. It is not as well tested as the stable release available
    1.27 +from the mirrors above and there is no guarantee that it works.
     2.1 --- a/Admin/page/main-content/index.content	Thu Mar 06 12:22:09 2003 +0100
     2.2 +++ b/Admin/page/main-content/index.content	Thu Mar 06 12:22:28 2003 +0100
     2.3 @@ -47,7 +47,9 @@
     2.4  
     2.5  The <strong><!-- _GP_ distname --></strong> distribution is available
     2.6  from several <a href="dist/index.html">mirror sites</a>.  It includes
     2.7 -source and binary packages and browsable documentation.
     2.8 +source and binary packages and browsable documentation. There is also
     2.9 +a nightly generated <a href="http://isabelle.in.tum.de/devel/">development 
    2.10 +snapshot</a> available.
    2.11  
    2.12  <p>
    2.13