equal
deleted
inserted
replaced
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 |