Re: [isabelle] Char Code export_code in Scala and compilation on MacOS (that is case insensitive)



Great! thank you very much Lars!!

Best regards,

Thomas

Le 15/06/2018 à 12:21, Lars Hupel a écrit :
This works fine in Isabelle2017 but not in Isabelle2018-RC0.

It used to be a declaration, now it is an option you pass to "export_code":

export_code foo in Scala (case_insensitive)

Cheers
Lars


--
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://people.irisa.fr/Thomas.Genet




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