Admin/website/community.html
author haftmann
Sun, 05 Jun 2005 14:33:02 +0200
changeset 16275 951803bff5b1
parent 16240 95cc0e8f8a17
child 16572 81778a796290
permissions -rw-r--r--
a more spohisticated symlink handling

<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<!-- $Id$ -->
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
    <title>Community</title>
    <?include file="//include/htmlheader.include.html"?>
</head>

<body class="main">
    <?include file="//include/header.include.html"?>
    <div class="hr"><hr/></div>
    <?include file="//include/navigation.include.html"?>
    <div class="hr"><hr/></div>
    <div id="content">

      <h2>Mailing list</h2> 
      <p>
      You may use the mailing list <a
      href="&#109;&#97;&#105;&#108;&#116;&#111;:&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;">&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;</a>
      and its <a
      href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
      discuss problems and results.  To subscribe, <a
      href="&#109;&#97;&#105;&#108;&#116;&#111;:&#108;&#99;&#112;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;?subject=subscribe&amp;body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact
      Larry Paulson</a>.</p>

      <h2>Contributing theorems</h2>

      <p>Did you have to prove a lemma that should have been part
      of the Isabelle distribution? Send it to us!</p>

      <p>We will collect theorems sent to <a href=
      "mailto:isabelle-lemmas@cl.cam.ac.uk">isabelle-lemmas@cl.cam.ac.uk</a>.
      Accepted material will be included in the Isabelle sources, with credit given
      to the author. Note that the Isabelle sources are distributed under the BSD
      license. Lemmas should be general, useful, and not too large. For larger
      developments you might want to consider a submission to the
      <a href="http://afp.sf.net">Archive of Formal Proofs</a>.</p>

      <h2 id="afp">The Archive of Formal Proofs (AFP)</h2>
      <p>The <a href="http://afp.sf.net">Archive of Formal Proofs</a> is a collection of proof
      libraries, examples, and larger scientifc developments, mechanically checked
      in Isabelle. It is organized in the way of a scientific journal. Submissions
      are refereed.</p>

    </div>
    <div class="hr"><hr/></div>
    <?include file="//include/footer.include.html"?>
</body>

</html>