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

Dear Lars,

thank you very much! I missed this thread while browsing the mailing list for information on this problem.

This works fine in Isabelle2017 but not in Isabelle2018-RC0.

It has been removed/renamed?

Best regards,


Le 14/06/2018 à 10:46, Lars Hupel a écrit :
Dear Thomas,

This is fine on a case-sensitive file system but when I try to compile
on a mac os, I get:

you can use the "case_insensitive" option that Florian introduced not
long ago: <>

See also this thread on the mailing list:


Thomas Genet
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at

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