[isabelle-dev] HOL is not building

Makarius makarius at sketis.net
Tue Oct 20 21:42:38 CEST 2009

On Tue, 20 Oct 2009, Lawrence Paulson wrote:

> HOL is not building, see attached. Don't ask for the change set identifier 
> because I couldn't tell you even to save my life.

How about "hg id" then?

It works again in 60a098883d81


More information about the isabelle-dev mailing list