git mirror of the Munich isabelle hg repository - View it on GitHub