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…
Larry > 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. > > Cheers > Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev