// readme

git mirror of the Munich isabelle hg repository