There is presently a problem with http://isabelle.in.tum.de/repos/isabelle around rev ebbd70082e65 -- also with local pushes or pulls, but it seems to work via ssh (at least for me). Until we know more, here is a recent clone of the repository for the impatient: https://bitbucket.org/makarius/isabelle Makarius