1.1 --- a/Admin/rsync-isabelle	Tue Mar 21 15:23:33 2000 +0100
     1.2 +++ b/Admin/rsync-isabelle	Tue Mar 21 15:26:21 2000 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  #!/bin/sh
     1.5  #
     1.6 -# mirror script for isabelle distribution
     1.7 +# mirror script for Isabelle distribution
     1.8  #
     1.9  # $Id$
    1.10  #