| 2001-09-10 | wenzelm | tuned usage; | file | diff | annotate |
| 2000-03-21 | wenzelm | tuned; | file | diff | annotate |
| 2000-03-21 | wenzelm | tuned comment; | file | diff | annotate |
| 2000-03-21 | wenzelm | help message; | file | diff | annotate |
| 2000-03-09 | wenzelm | renamed to rsync-isabelle; | file | diff | annotate |