[isabelle-dev] problem with Nominal in the AFP
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