# HG changeset patch
# User haftmann
# Date 1145168549 -7200
# Node ID a479b800cc8c71ab56009f9bbf245c51d4e970ea
# Parent  b2877e230b0732618e5053adedea89b8d93ca975
fixed typo

diff -r b2877e230b07 -r a479b800cc8c Admin/website/community.html
--- 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>