Re: [isabelle] Isabelle_17-Jan-2013 scala code export changes



On 28.01.2013, at 21:41, "C. Diekmann" <diekmann at in.tum.de> wrote:

> No major issues, the only broken thing is
>  sledgehammer_params[isar_proof=true]
>  No big deal …

Try sledgehammer_params[isar_proofs] instead. The parameter has been renamed.

Steffen







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