[isabelle] New Z3 dependency



I upgraded to Isabelle2014, and noticed, among many differences I am trying to get accustomed to, that Z3 was no longer invoked by sledgehammer.

Long story short: I installed the linux package containing libgomp, and now Z3 works. I think this library was not needed in previous Isabelle releases.

Maintainers might want to state this new requirement in NEWS file.

Cheers,
Marco





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.