git mirror of the Munich isabelle hg repository