[isabelle-dev] Fwd: [isabelle] Exception in conv.ML

Lawrence Paulson lp15 at cam.ac.uk
Mon May 30 13:24:28 CEST 2011


Done now, I hope
Larry

On 30 May 2011, at 08:10, Andreas Lochbihler wrote:

> This fix solves the problem with the exception. I tried it with 574613b47583. Can you add it to the repository as I do not have wirte access to that.




More information about the isabelle-dev mailing list