# HG changeset patch # User haftmann # Date 1124954945 -7200 # Node ID 2a8111863b16b15249e7ee5cdb78c2e585952feb # Parent 76a5a2cc3171e2e16280eb35c751b45a0c3cb69e fixed typo diff -r 76a5a2cc3171 -r 2a8111863b16 Admin/website/index.html --- a/Admin/website/index.html Thu Aug 25 09:25:03 2005 +0200 +++ b/Admin/website/index.html Thu Aug 25 09:29:05 2005 +0200 @@ -24,7 +24,7 @@ overview.
- These site provides general information on Isabelle, more + This site provides general information on Isabelle, more specific information is available from the local sites