Admin/isasync
2010-05-12 wenzelm removed obsolete CVS Ids;
2007-11-26 haftmann simplified website rsync
2005-11-21 haftmann fixed some inconveniencies in website
2005-09-29 wenzelm refer to $PRG instead of (old) rsync-isabelle;
2005-09-27 haftmann website preparation for Isabelle2005
less more (0) tip