1.1 --- a/Admin/website/community.html	Thu Apr 13 23:15:44 2006 +0200
     1.2 +++ b/Admin/website/community.html	Sun Apr 16 08:22:29 2006 +0200
     1.3 @@ -52,7 +52,7 @@
     1.4        <h2 id="afp">The Archive of Formal Proofs (AFP)</h2>
     1.5  
     1.6        <p>The <a href="http://afp.sf.net">Archive of Formal Proofs</a> is a collection of proof
     1.7 -      libraries, examples, and larger scientifc developments, mechanically checked
     1.8 +      libraries, examples, and larger scientific developments, mechanically checked
     1.9        in Isabelle. It is organized in the way of a scientific journal. Submissions
    1.10        are refereed.</p>
    1.11