equal
deleted
inserted
replaced
65 |
65 |
66 <h2>Mailing list</h2> |
66 <h2>Mailing list</h2> |
67 |
67 |
68 Use the mailing list <a href="mailto: |
68 Use the mailing list <a href="mailto: |
69 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> |
69 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> |
70 and its <a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to |
70 and its <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to |
71 discuss problems and results. Why not <a |
71 discuss problems and results. Why not <a |
72 href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? |
72 href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? |
73 |
73 |