Re: [isabelle] Unicode (Was: Update on I3P)

Hi again,

Am Freitag, den 10.09.2010, 15:54 +0200 schrieb Joachim Breitner:
> Inner lexical error at: 𝒵, mult = op +, one = 0::int ⦈

I should add that this sequence of four characters is the utf8
representation of 𝒵 (\<Z>), re-encoded as utf8:
$ echo -n 𝒵|iconv -futf8 -tlatin1
$ echo -n 𝒵 | iconv -flatin1 -tutf8

Maybe i3p has problems with unicode character code points that do not
fit in one 16-bit number?


Joachim Breitner
  e-Mail: mail at
  ICQ#: 74513189
  Jabber-ID: nomeata at

Attachment: signature.asc
Description: This is a digitally signed message part

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