Admin/website/community.html
author haftmann
Mon, 06 Jun 2005 14:12:07 +0200
changeset 16301 f9f2e1643593
parent 16240 95cc0e8f8a17
child 16572 81778a796290
permissions -rw-r--r--
migrated scripts to new webiste
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     1
<?xml version='1.0' encoding='iso-8859-1' ?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     2
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
16240
95cc0e8f8a17 added shellcmd style
haftmann
parents: 16233
diff changeset
     3
<!-- $Id$ -->
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     4
<html xmlns="http://www.w3.org/1999/xhtml">
e634d33deb86 added new website
haftmann
parents:
diff changeset
     5
e634d33deb86 added new website
haftmann
parents:
diff changeset
     6
<head>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     7
    <title>Community</title>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     8
    <?include file="//include/htmlheader.include.html"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     9
</head>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    10
e634d33deb86 added new website
haftmann
parents:
diff changeset
    11
<body class="main">
e634d33deb86 added new website
haftmann
parents:
diff changeset
    12
    <?include file="//include/header.include.html"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    13
    <div class="hr"><hr/></div>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    14
    <?include file="//include/navigation.include.html"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    15
    <div class="hr"><hr/></div>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    16
    <div id="content">
e634d33deb86 added new website
haftmann
parents:
diff changeset
    17
e634d33deb86 added new website
haftmann
parents:
diff changeset
    18
      <h2>Mailing list</h2> 
e634d33deb86 added new website
haftmann
parents:
diff changeset
    19
      <p>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    20
      You may use the mailing list <a
e634d33deb86 added new website
haftmann
parents:
diff changeset
    21
      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>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    22
      and its <a
e634d33deb86 added new website
haftmann
parents:
diff changeset
    23
      href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
e634d33deb86 added new website
haftmann
parents:
diff changeset
    24
      discuss problems and results.  To subscribe, <a
e634d33deb86 added new website
haftmann
parents:
diff changeset
    25
      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
e634d33deb86 added new website
haftmann
parents:
diff changeset
    26
      Larry Paulson</a>.</p>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    27
e634d33deb86 added new website
haftmann
parents:
diff changeset
    28
      <h2>Contributing theorems</h2>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    29
e634d33deb86 added new website
haftmann
parents:
diff changeset
    30
      <p>Did you have to prove a lemma that should have been part
e634d33deb86 added new website
haftmann
parents:
diff changeset
    31
      of the Isabelle distribution? Send it to us!</p>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    32
e634d33deb86 added new website
haftmann
parents:
diff changeset
    33
      <p>We will collect theorems sent to <a href=
e634d33deb86 added new website
haftmann
parents:
diff changeset
    34
      "mailto:isabelle-lemmas@cl.cam.ac.uk">isabelle-lemmas@cl.cam.ac.uk</a>.
e634d33deb86 added new website
haftmann
parents:
diff changeset
    35
      Accepted material will be included in the Isabelle sources, with credit given
e634d33deb86 added new website
haftmann
parents:
diff changeset
    36
      to the author. Note that the Isabelle sources are distributed under the BSD
e634d33deb86 added new website
haftmann
parents:
diff changeset
    37
      license. Lemmas should be general, useful, and not too large. For larger
e634d33deb86 added new website
haftmann
parents:
diff changeset
    38
      developments you might want to consider a submission to the
e634d33deb86 added new website
haftmann
parents:
diff changeset
    39
      <a href="http://afp.sf.net">Archive of Formal Proofs</a>.</p>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    40
e634d33deb86 added new website
haftmann
parents:
diff changeset
    41
      <h2 id="afp">The Archive of Formal Proofs (AFP)</h2>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    42
      <p>The <a href="http://afp.sf.net">Archive of Formal Proofs</a> is a collection of proof
e634d33deb86 added new website
haftmann
parents:
diff changeset
    43
      libraries, examples, and larger scientifc developments, mechanically checked
e634d33deb86 added new website
haftmann
parents:
diff changeset
    44
      in Isabelle. It is organized in the way of a scientific journal. Submissions
e634d33deb86 added new website
haftmann
parents:
diff changeset
    45
      are refereed.</p>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    46
e634d33deb86 added new website
haftmann
parents:
diff changeset
    47
    </div>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    48
    <div class="hr"><hr/></div>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    49
    <?include file="//include/footer.include.html"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    50
</body>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    51
e634d33deb86 added new website
haftmann
parents:
diff changeset
    52
</html>