equal
deleted
inserted
replaced
142 |
142 |
143 <h2>Mailing list</h2> |
143 <h2>Mailing list</h2> |
144 |
144 |
145 Use the mailing list <a href="mailto: |
145 Use the mailing list <a href="mailto: |
146 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> to |
146 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> to |
147 discuss problems and results. |
147 discuss problems and results. |
|
148 (Why not <A HREF="mailto:lcp@@cl.cam.ac.uk">subscribe</A>?) |
|
149 |
148 |
150 |
149 </body> |
151 </body> |
150 |
152 |
151 </html> |
153 </html> |