Admin/isasync
2005-11-21 ago fixed some inconveniencies in website
2005-09-29 ago refer to $PRG instead of (old) rsync-isabelle;
2005-09-27 ago website preparation for Isabelle2005