Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] How to apply a fix to Isabelle?

Email Gateway (Aug 18 2022 at 17:47):

From: Thomas Genet <Thomas.Genet@irisa.fr>
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

Last updated: Apr 23 2024 at 04:18 UTC