diff -r edaac961e181 -r 263a30b90c16 Admin/rsync-isabelle
--- a/Admin/rsync-isabelle	Tue Mar 21 15:23:33 2000 +0100
+++ b/Admin/rsync-isabelle	Tue Mar 21 15:26:21 2000 +0100
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# mirror script for isabelle distribution
+# mirror script for Isabelle distribution
 #
 # $Id$
 #