That is indeed the culprit. If it’s no problem, maybe the submission system could check for such directories and delete them?
Larry > On 4 Oct 2016, at 12:18, Manuel Eberl <ebe...@in.tum.de> wrote: > > Oh, that is quite possible. Sorry about that. I typically keep my prospective > AFP entries in private HG repositories and then simply tarball and submit > them when it's time. I don't think that ever was a problem before, but it > sounds like the most reasonably explanation so far. > Good catch! >
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
