[isabelle-dev] problem with Nominal in the AFP

[Makarius]

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