Admin/page/main-content/index.content
changeset 11109 ce1cefc6c14c
parent 10162 947b7b8b0a69
child 13087 879ac452101e
equal deleted inserted replaced
11108:43791f99d71e 11109:ce1cefc6c14c
    17 These pages provide general information on Isabelle, more specific
    17 These pages provide general information on Isabelle, more specific
    18 information is available from the local pages
    18 information is available from the local pages
    19 
    19 
    20 <ul>
    20 <ul>
    21 
    21 
    22 <li> <a
    22 <li><a
    23 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
    23 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
    24 at Cambridge</strong></a> 
    24 at Cambridge</strong></a>
    25 
    25 
    26 <li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle at Munich</strong></a>
    26 <li><a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle
       
    27 at Munich</strong></a>
    27 
    28 
    28 </ul>
    29 </ul>
    29 
    30 
    30 See there for information on projects done with Isabelle, mailing list
    31 See there for information on projects done with Isabelle, mailing list
    31 archives, research papers, the Isabelle bibliography, and Isabelle
    32 archives, research papers, the Isabelle bibliography, and Isabelle