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 Makarius