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