[isabelle-dev] AFP access confusion

[René Thiemann]

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 <florian.haftmann at informatik.tu-muenchen.de>:

> 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://fhaftmann@afp.hg.sourceforge.net/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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev