Admin/website/index.html

--- a/Admin/website/index.html	Mon Jun 06 13:43:39 2005 +0200
+++ b/Admin/website/index.html	Mon Jun 06 14:11:05 2005 +0200
@@ -24,8 +24,8 @@
         overview</a>.
         </p>
         <p>
-        These pages provide general information on Isabelle, more
-        specific information is available from the local pages
+        These site provides general information on Isabelle, more
+        specific information is available from the local sites
         </p>
 
           <ul>