Tracks http://isabelle.in.tum.de/repos/isabelle/ with git-hg