[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.

Larry

*** Unknown attribute: "smt_cert" (line 22 of "/Users/lp15/isabelle/ 
Repos/src/HOL/SMT/Examples/SMT_Examples.thy")
*** At command "using" (line 22 of "/Users/lp15/isabelle/Repos/src/HOL/ 
SMT/Examples/SMT_Examples.thy").




More information about the isabelle-dev mailing list