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
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. I can
tell you that it has been like this for the past several hours.
Larry
*** Unknown attribute: "smt_cert" (line 22 of "/Users/lp15/isabelle/
Repos/src/HOL/SMT/Exam