Admin/rsync-isabelle
2001-09-10 wenzelm 2001-09-10 tuned usage;
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-21 wenzelm 2000-03-21 tuned comment;
2000-03-21 wenzelm 2000-03-21 help message;
2000-03-09 wenzelm 2000-03-09 renamed to rsync-isabelle;