[isabelle-dev] problem with Nominal in the AFP

Makarius makarius at sketis.net
Tue May 31 12:04:32 CEST 2016

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.


More information about the isabelle-dev mailing list