Admin/makedist_mercurial
2008-07-18 wenzelm 2008-07-18 misc tuning;
2008-07-17 wenzelm 2008-07-17 proper purge_tmp; remove .cvsignore files;
2008-07-17 wenzelm 2008-07-17 proper usage message; more precise perl replacements; less verbosity;
2008-07-17 wenzelm 2008-07-17 make Isabelle source distribution (via Mercurial);