Admin/mirror-website
2007-11-26 haftmann 2007-11-26 simplified website rsync
2005-11-15 wenzelm 2005-11-15 better no -d option;
2005-09-27 haftmann 2005-09-27 website preparation for Isabelle2005