Admin/mirror-website
2005-11-15 ago better no -d option;
2005-09-27 ago website preparation for Isabelle2005