keep ChangeLog.gz within distribution; more elaborate structure Distribution (filled-in by makedist);
keep ChangeLog.gz within distribution;
more elaborate structure Distribution (filled-in by makedist);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle