[isabelle-dev] Mercurial failing as always

Alexander Krauss krauss at in.tum.de
Tue Mar 1 16:18:50 CET 2011

Lawrence Paulson wrote:
> Does anybody know what to do here?
> Larry
> ~/isabelle/Repos: hg push
> pushing to http://isabelle.in.tum.de/repos/isabelle
> searching for changes
> http authorization required
> realm: Mercurial repositories
> user: 

Nothing is failing. It is just that pushing over http is disabled.

This is explained in README_REPOSITORY, here:


More information about the isabelle-dev mailing list