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

Reply via email to