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 14:07:20 -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-qk0-f176.google.com
Ironport-phdr: 9a23:Yvj8Mhbm6c5Y6cX0iRuh9Z//LSx+4OfEezUN459isYplN5qZpsS6bnLW6fgltlLVR4KTs6sC0LuL9fy8EjVZvt7B6ClEK8McEUddyI0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx5f/6+fn8JrKJg5MmTCVYLVoLRzwox+CmNMRhN5JLic0xx3VlUNJZ6F9wWp1KV+X10L3/sas95pq7ihdv9ou8sdBVePxeKFuHu8QNygvL21gvJ6jjhLEVwbavnY=

On 2017-03-08 13:23, Matej Kosik wrote:
> I guess that few people bother using Unicode glyphs because Emacs ships
> broken fonts.

Emacs doesn't ship fonts, as far as I know. What do you mean?

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