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?

Greetings,
Joachim

-- 
Joachim Breitner
  e-Mail: mail at joachim-breitner.de
  Homepage: http://www.joachim-breitner.de
  ICQ#: 74513189
  Jabber-ID: nomeata at joachim-breitner.de

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



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