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