coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Unicode tokens?

From: Tom Hirschowitz <tom.hirschowitz AT univ-smb.fr>
To: Clément Pit-Claudel <cpitclaudel AT gmail.com>, coq-club AT inria.fr
Cc:
Subject: Re: [Coq-Club] Unicode tokens?
Date: Wed, 08 Mar 2017 15:27:11 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tom.hirschowitz AT univ-smb.fr; spf=SoftFail smtp.mailfrom=tom.hirschowitz AT univ-smb.fr; spf=None smtp.helo=postmaster AT smtpout02.partage.renater.fr

In PG + unicode tokens, delta alone yields δ.

> On 2017-03-07 15:02, Tom Hirschowitz wrote:
>> Apparently, company-coq isn't much better: it displays something like
>> delta₁.
>
> What did you expect?

Re: [Coq-Club] Unicode tokens?, (continued)