Dear all, I recently got some message from sourceforge, that they changed their directory structure. So I have no problems accessing the afp at
ssh://<login>@hg.code.sf.net/p/afp/code Perhaps you can try this, René Am 23.03.2013 um 11:01 schrieb Florian Haftmann <[email protected]>: > cf. doc/maintenance.html: > >> Check out the archive from the mercurial repository with: >> >> hg clone ssh://<login>@afp.hg.sourceforge.net/hgroot/afp/afp afp-devel > > But > >> hg pull ssh://[email protected]/hgroot/afp/afp > > yields > >> Remote: abort: There is no Mercurial repository here (.hg not found)! > > I'm stymied… > > Thanks for any hint, > Florian > > -- > > PGP available: > http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de > > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
