On 31/05/16 11:18, Lars Hupel wrote:
>> Incompleteness FAILED
>
> This problem has already been addressed. Makarius changed some Isabelle
> signatures in Isabelle/4d04e14d7ab8, and adapted AFP in d46ea7497f.
>
> Unfortunately it's currently impossible to perform atomic changes to
> both repositories.
Apart from that, there is also a custom to push AFP changes a bit later
than the ones on the Isabelle repository. Maybe Jenkins can take this
somehow into account and not start tests on AFP immediately.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
