coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Unicode input

From: Danko Ilik <dankoilik AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Unicode input
Date: Sun, 21 Feb 2010 09:22:21 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; b=vi3PHokC7YbkIaA+vWBR2z310aPg+VdtFZvdNtd326l0ccvwMbBTpfXbm8/6Sfil7G ZA26g6Lu8b4NJA3tcrnrdShAKRKzyQy7flkuGzMtUL5bIGwk9NLSZZZP3da1TLkuuudq K4RT22EJWZaBlYFXbAupi/S4nIgLC/sxqWxAI=

> Thanks for the hint, we got this method to work. Meanwhile, I see it
> has also been documented in svn.

I case you need it, the extraction to Ocaml does not work well with Unicode,
because Ocaml does not support Unicode identifiers.

--
Danko Iliḱ

[Coq-Club] Unicode input, Bas Spitters
- Re: [Coq-Club] Unicode input, Pierre Courtieu
  - Re: [Coq-Club] Unicode input, Pierre-Marie P�drot
    - Re: [Coq-Club] Unicode input, Bas Spitters
      - Re: [Coq-Club] Unicode input, Danko Ilik
  - Re: [Coq-Club] Unicode input, Nils Anders Danielsson
- <Possible follow-ups>
- Fwd: [Coq-Club] Unicode input, Danko Ilik
  - Re: [Coq-Club] Unicode input, Pierre Courtieu
    - Re: [Coq-Club] Unicode input, Bas Spitters
      - Re: [Coq-Club] Unicode input, Pierre Letouzey
        
        Re: [Coq-Club] Unicode input, Benjamin Pierce
        
        Re: [Coq-Club] Unicode input, Fr�d�ric Besson
- Re: [Coq-Club] Unicode input, vincent . gross