[isabelle-dev] AFP access confusion

[Christian Sternagel]

Dear Florian,

I just confirmed that I get the same error message for my default 
afp-devel clone (i.e., it used to work with 
afp.hg.sourceforge.net/hgroot/afp/afp).

cheers

chris



On 03/23/2013 07:01 PM, Florian Haftmann wrote:
> 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
>
>
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>