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