Thanks and I have finally managed to push the entry. Unfortunately a problem 
like this seems to happen 30% of the time with new AFP entries…


> On 4 Oct 2016, at 12:23, Lars Hupel <> wrote:
>> If it’s no problem, maybe the submission system could check for such 
>> directories and delete them?
> I'm adding this to the list of additional checks (some are already in
> the works). I expect that the submission system will go through a
> maintenance period in the near future where this will get deployed.
> Cheers
> Lars

isabelle-dev mailing list

Reply via email to