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 <hu...@in.tum.de> 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.
isabelle-dev mailing list