--- a/Admin/website/community.html Thu Apr 13 23:15:44 2006 +0200
+++ b/Admin/website/community.html Sun Apr 16 08:22:29 2006 +0200
@@ -52,7 +52,7 @@
<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
+ libraries, examples, and larger scientific developments, mechanically checked
in Isabelle. It is organized in the way of a scientific journal. Submissions
are refereed.</p>