equal
deleted
inserted
replaced
33 |
33 |
34 <p>You may use the mailing list <a href= |
34 <p>You may use the mailing list <a href= |
35 "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
35 "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
36 <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss |
36 <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss |
37 problems and results. To subscribe, <a href= |
37 problems and results. To subscribe, <a href= |
38 "mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list"> |
38 "mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe"> |
39 contact Larry Paulson</a>.</p> |
39 contact our robot</a>.</p> |
40 <p>Please consult the <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent |
40 <p>Please consult the <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent |
41 problems.</p> |
41 problems.</p> |
42 |
42 |
43 <h2>Isabelle Documentation</h2> |
43 <h2>Isabelle Documentation</h2> |
44 |
44 |