Admin/website/community.html
changeset 19554 bc0bef4a124e
parent 19533 fc4c6458d569
child 19652 f0594a06f2f0
equal deleted inserted replaced
19553:9d15911f1893 19554:bc0bef4a124e
    25 
    25 
    26       <p>There is an (incomplete) list of past and present <a href=
    26       <p>There is an (incomplete) list of past and present <a href=
    27       "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/projects.html">projects</a>
    27       "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/projects.html">projects</a>
    28       undertaken using Isabelle.</p>
    28       undertaken using Isabelle.</p>
    29 
    29 
       
    30       <h2>Isabelle in your neighbourhood</h2>
       
    31 
       
    32       <p>Find out on the <a href="//world_map.html">world map</a>!</p>
       
    33 
    30       <h2>Mailing list</h2> 
    34       <h2>Mailing list</h2> 
    31 
    35 
    32       <p>You may use the mailing list <a href=
    36       <p>You may use the mailing list <a href=
    33           "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
    37           "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
    34           <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to discuss
    38           <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to discuss
    35           problems and results.
    39           problems and results.
    36           To subscribe, contact our robot:
    40           To subscribe, contact our robot:
    37           <a href="mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe</a>.
    41           <a href="mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">Cl-isabelle-users-request@lists.cam.ac.uk</a>.
    38     </p>
    42     </p>
    39 
    43 
    40       <h2>Contributing theorems</h2>
    44       <h2>Contributing theorems</h2>
    41 
    45 
    42       <p>Did you have to prove a lemma that should have been part
    46       <p>Did you have to prove a lemma that should have been part