Admin/rsync-isabelle
2005-06-05 haftmann 2005-06-05 a more spohisticated symlink handling
2005-06-05 haftmann 2005-06-05 added rsync symlink option
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;