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