Admin/page/main-content/index.content
changeset 10162 947b7b8b0a69
parent 10114 b07ed0c2f89f
child 11109 ce1cefc6c14c
equal deleted inserted replaced
10161:4a3cd038aff8 10162:947b7b8b0a69
    53 <h2>Mailing list</h2>
    53 <h2>Mailing list</h2>
    54 
    54 
    55 Use the mailing list <a href="mailto:
    55 Use the mailing list <a href="mailto:
    56 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> 
    56 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> 
    57 and its <a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to
    57 and its <a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to
    58 discuss problems and results.  Why not <A
    58 discuss problems and results.  Why not <a
    59 HREF="mailto:lcp@cl.cam.ac.uk">subscribe</A>? 
    59 href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? 
    60 
    60