Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/community.html
author haftmann
Sat, 04 Jun 2005 10:26:08 +0200
changeset 16233 e634d33deb86
child 16240 95cc0e8f8a17
permissions -rw-r--r--
added new website

<?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">
<?cvs id="$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>
isabelle