[isabelle] How to apply a fix to Isabelle?





Dear Isabelle users,

Quoting a message by Lukas in Isabelle mailing list archive:

"We have improved the Scala code generation to add parentheses around function literals as suggested, and provide a fix as changeset 3450e57264b3 in the development version. This changeset can possibly also be applied to the release version Isabelle2011, for those which require it for Scala code generation"

I'd like to apply such a fix to the scala generation of my Isabelle2011 MacOs binary version...
What is the simplest solution to do that?

Thanks in advance,

Thomas

--
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44   E-mail: genet at irisa.fr
http://www.irisa.fr/celtique/genet





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