coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Unicode tokens?

From: Clément Pit-Claudel <cpitclaudel AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Unicode tokens?
Date: Wed, 8 Mar 2017 08:38:07 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cpitclaudel AT gmail.com; spf=Pass smtp.mailfrom=cpitclaudel AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f178.google.com

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)