Admin/website/community.html
author wenzelm
Wed, 15 Feb 2006 21:34:55 +0100
changeset 19046 bc5c6c9b114e
parent 16928 eef31b35d2a6
child 19094 968e95fdbf8a
permissions -rw-r--r--
removed distinct, renamed gen_distinct to distinct;
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
16592
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    18
      <h2>Project partners</h2>
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    19
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    20
      <p>Isabelle is a joint project between
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    21
      <a href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a>
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    22
      (<a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">University of Cambridge</a>, UK) and
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    23
      <a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    24
      (<a href="http://www4.in.tum.de/proj/theoremprov/group.html">Technical University of Munich</a>, Germany).</p>
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    25
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    26
      <p>There is an (incomplete) list of past and present <a href=
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    27
      "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/projects.html">projects</a>
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    28
      undertaken using Isabelle.</p>
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    29
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    30
      <h2>Mailing list</h2> 
16592
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    31
16928
eef31b35d2a6 now for Mailman-enabled mailing list
paulson
parents: 16592
diff changeset
    32
      <p>You may use the mailing list <a href=
eef31b35d2a6 now for Mailman-enabled mailing list
paulson
parents: 16592
diff changeset
    33
          "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
eef31b35d2a6 now for Mailman-enabled mailing list
paulson
parents: 16592
diff changeset
    34
          <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss
eef31b35d2a6 now for Mailman-enabled mailing list
paulson
parents: 16592
diff changeset
    35
          problems and results. To subscribe, <a href=
eef31b35d2a6 now for Mailman-enabled mailing list
paulson
parents: 16592
diff changeset
    36
          "mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">
eef31b35d2a6 now for Mailman-enabled mailing list
paulson
parents: 16592
diff changeset
    37
          contact our robot</a>.</p>
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    38
e634d33deb86 added new website
haftmann
parents:
diff changeset
    39
      <h2>Contributing theorems</h2>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    40
e634d33deb86 added new website
haftmann
parents:
diff changeset
    41
      <p>Did you have to prove a lemma that should have been part
e634d33deb86 added new website
haftmann
parents:
diff changeset
    42
      of the Isabelle distribution? Send it to us!</p>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    43
e634d33deb86 added new website
haftmann
parents:
diff changeset
    44
      <p>We will collect theorems sent to <a href=
e634d33deb86 added new website
haftmann
parents:
diff changeset
    45
      "mailto:isabelle-lemmas@cl.cam.ac.uk">isabelle-lemmas@cl.cam.ac.uk</a>.
e634d33deb86 added new website
haftmann
parents:
diff changeset
    46
      Accepted material will be included in the Isabelle sources, with credit given
e634d33deb86 added new website
haftmann
parents:
diff changeset
    47
      to the author. Note that the Isabelle sources are distributed under the BSD
e634d33deb86 added new website
haftmann
parents:
diff changeset
    48
      license. Lemmas should be general, useful, and not too large. For larger
e634d33deb86 added new website
haftmann
parents:
diff changeset
    49
      developments you might want to consider a submission to the
e634d33deb86 added new website
haftmann
parents:
diff changeset
    50
      <a href="http://afp.sf.net">Archive of Formal Proofs</a>.</p>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    51
e634d33deb86 added new website
haftmann
parents:
diff changeset
    52
      <h2 id="afp">The Archive of Formal Proofs (AFP)</h2>
16592
e7df213a1918 added project information in overview
haftmann
parents: 16572
diff changeset
    53
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    54
      <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
    55
      libraries, examples, and larger scientifc developments, mechanically checked
e634d33deb86 added new website
haftmann
parents:
diff changeset
    56
      in Isabelle. It is organized in the way of a scientific journal. Submissions
e634d33deb86 added new website
haftmann
parents:
diff changeset
    57
      are refereed.</p>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    58
e634d33deb86 added new website
haftmann
parents:
diff changeset
    59
    </div>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    60
    <div class="hr"><hr/></div>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    61
    <?include file="//include/footer.include.html"?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    62
</body>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    63
e634d33deb86 added new website
haftmann
parents:
diff changeset
    64
</html>