[isabelle-dev] HOL-Codegenerator_Test error

[Makarius]

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.


 	Makarius