[isabelle-dev] HOL-Codegenerator_Test error

Makarius makarius at sketis.net
Tue Jan 12 23:51:23 CET 2016


On Tue, 12 Jan 2016, Manuel Eberl wrote:

> I commented out the code equation in question and HOL-Codegenerator_Test runs 
> through again.

Thanks.

For the historical record: that is Isabelle/18a217591310.

(Mercurial changeset ids allow to talk about history in a timeless and 
stateless manner.)


 	Makarius



More information about the isabelle-dev mailing list