[isabelle-dev] HOL-Codegenerator_Test error
makarius at sketis.net
Mon Jan 11 21:11:37 CET 2016
On Mon, 11 Jan 2016, Manuel Eberl wrote:
> It looks like I'm the one who broke it. It does not work after my commit
> 3201ddb00097, but it still works in Fabian's d8e7738bd2e9 immediately before.
Just a reminder of the normal routine: push to the Isabelle repository
always requires a full "isabelle build -a" -- there is no way around it.
It would be also nice to have a continously working AFP, as we are
approaching the release.
More information about the isabelle-dev