# HG changeset patch
# User haftmann
# Date 1119947093 -7200
# Node ID cc86fd4eeee4aaccae00d8f918a620965b702bf0
# Parent  81778a796290a08b9abe4c0d3e5c5dc5a26cbee4
corrected comment

diff -r 81778a796290 -r cc86fd4eeee4 Admin/mirror-main
--- a/Admin/mirror-main	Tue Jun 28 09:41:39 2005 +0200
+++ b/Admin/mirror-main	Tue Jun 28 10:24:53 2005 +0200
@@ -3,8 +3,8 @@
 # $Id$
 #
 # Mirrors the Isabelle home page (those directly on http://isabelle.in.tum.de)
-# It does *not* mirror the Isabelle distribution pages and downloads. There
-# is a separate utility (mirror-dist) for that.
+# It *does* mirror the Isabelle distribution pages and downloads. There
+# is also a separate utility (mirror-dist) for that.
 #
 # Usage: mirror-main
 #