[isabelle-dev] HOL is not building

Lawrence Paulson lp15 at cam.ac.uk
Tue Oct 20 17:36:33 CEST 2009

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.


*** Unknown attribute: "smt_cert" (line 22 of "/Users/lp15/isabelle/ 
*** At command "using" (line 22 of "/Users/lp15/isabelle/Repos/src/HOL/ 

More information about the isabelle-dev mailing list