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



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: <http://isabelle.in.tum.de/repos/isabelle/rev/ad538f6c5d2f>

See also this thread on the mailing list:
<https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2017-November/msg00071.html>

Cheers
Lars




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