Admin/make_everything
2001-02-14 wenzelm 2001-02-14 adhoc script for creating complete Isabelle dist pages;