[isabelle-dev] Mercurial failing as always

Lawrence Paulson lp15 at cam.ac.uk
Tue Mar 1 13:51:56 CET 2011


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: 



More information about the isabelle-dev mailing list