Admin/page/index.html
changeset 6149 372919b37b5d
parent 6148 d97a944c6ea3
child 6150 71974ec3ebfb
equal deleted inserted replaced
6148:d97a944c6ea3 6149:372919b37b5d
    19 
    19 
    20 <p>
    20 <p>
    21 
    21 
    22 <a
    22 <a
    23 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
    23 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
    24 src="cambridge.gif" width=145 border=0 align=right
    24 src="cambridge.gif" width=145 border=0 align=right alt="[Cambridge
    25 alt="[Cambridge]"></a> <a
    25 logo]"></a> <a href="http://isabelle.in.tum.de/munich.html"><img
    26 href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
    26 src="munich.gif" width=48 border=0 align=right alt="[Munich
    27 width=48 border=0 align=right alt="[Munich]"></a> This page provides
    27 logo]"></a> This page provides general information on Isabelle, more
    28 general information on Isabelle, more details are available on the
    28 specific information is available from the local pages
    29 local Isabelle pages at <a
    29 
    30 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a>
    30 <ul>
    31 and <a href="http://isabelle.in.tum.de/munich.html">Munich</a>.  See
    31 
    32 there for information on projects done with Isabelle, mailing list
    32 <li> <a
       
    33 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
       
    34 at Cambridge</strong></a> 
       
    35 
       
    36 <li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle
       
    37 at Munich</strong></a>
       
    38 
       
    39 </ul>
       
    40 See there for information on projects done with Isabelle, mailing list
    33 archives, research papers, the Isabelle bibliography, and Isabelle
    41 archives, research papers, the Isabelle bibliography, and Isabelle
    34 workshops and courses.
    42 workshops and courses.
    35 
    43 
    36 
    44 
    37 <h2>Obtaining Isabelle</h2>
    45 <h2>Obtaining Isabelle</h2>