Admin/isasync
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2007-11-26 haftmann 2007-11-26 simplified website rsync
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