Admin/make_everything
2005-09-21 wenzelm 2005-09-21 tuned;
2005-06-09 haftmann 2005-06-09 added CONTRIBUTORS
2005-06-06 haftmann 2005-06-06 migrated scripts to new webiste
2002-01-11 wenzelm 2002-01-11 #!/usr/bin/env bash;
2001-02-14 wenzelm 2001-02-14 adhoc script for creating complete Isabelle dist pages;