added headline, "quick download", and mailing list archive
authorkleing
Thu Sep 21 14:54:24 2000 +0200 (2000-09-21)
changeset 10050c8e0bd7a1e9c
parent 10049 605c7f56d54b
child 10051 6c3c87d1d275
added headline, "quick download", and mailing list archive
Admin/page/main-content/index.content
     1.1 --- a/Admin/page/main-content/index.content	Thu Sep 21 14:31:51 2000 +0200
     1.2 +++ b/Admin/page/main-content/index.content	Thu Sep 21 14:54:24 2000 +0200
     1.3 @@ -5,6 +5,8 @@
     1.4  
     1.5  <p>
     1.6  
     1.7 +<h2>What is Isabelle?</h2>
     1.8 +
     1.9  Isabelle is a popular generic theorem proving environment developed at
    1.10  Cambridge University (<a
    1.11  href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a>) and TU
    1.12 @@ -21,8 +23,7 @@
    1.13  href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
    1.14  at Cambridge</strong></a> 
    1.15  
    1.16 -<li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle
    1.17 -at Munich</strong></a>
    1.18 +<li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle at Munich</strong></a>
    1.19  
    1.20  </ul>
    1.21  
    1.22 @@ -30,9 +31,15 @@
    1.23  archives, research papers, the Isabelle bibliography, and Isabelle
    1.24  workshops and courses.
    1.25  
    1.26 +<p>
    1.27  
    1.28  <h2>Obtaining Isabelle</h2>
    1.29  
    1.30 +You get <strong><!-- _GP_ distname --></strong> in the 
    1.31 +<a href="dist/index.html">distribution area</a>.
    1.32 +
    1.33 +<p>
    1.34 +
    1.35  The <strong><!-- _GP_ distname --></strong> distribution is available
    1.36  from several <a href="dist/index.html">mirror sites</a>.  It includes
    1.37  source and binary packages and browsable documentation.
    1.38 @@ -46,10 +53,13 @@
    1.39  href="library/FOL/index.html">FOL</a> and <a
    1.40  href="library/ZF/index.html">ZF</a>.
    1.41  
    1.42 +<p>
    1.43  
    1.44  <h2>Mailing list</h2>
    1.45  
    1.46  Use the mailing list <a href="mailto:
    1.47 -isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> to
    1.48 +isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> 
    1.49 +and its <a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to
    1.50  discuss problems and results.  Why not <A
    1.51 -HREF="mailto:lcp@cl.cam.ac.uk">subscribe</A>?
    1.52 +HREF="mailto:lcp@cl.cam.ac.uk">subscribe</A>? 
    1.53 +