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: Mon, 6 Mar 2017 15:47:27 -0500
Authentication-results: mail3-smtp-sop.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-yw0-f182.google.com
Ironport-phdr: 9a23:a0H+xh3XzTf/O3/+smDT+DRfVm0co7zxezQtwd8Zse0QL/ad9pjvdHbS+e9qxAeQG96KtrQY06GP7/uocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDqwbal9IRmqogndq8YbjIV/Iast1xXFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljjoMOTwk/2HNksF+kbxVoByhqRJ8zYDbbo6aO/hica3SZt4aWWlMU9xNWyBdDI6xbY0CBPcBM+ZCqIn9okMDoAW6BQ62AePg1DlIhmPu0qMg0uQhDRjK0RIkH90UrXTbscv6NKMPWu2y0KbI1TTDb+9K1jf58ofIbw0uru+IXb9rfsrRzFMgFwLBjlmKtYPlODaV2/0LvmOG7ORgTfqih3A7pwx1uDSixcchhpPUio8U11zI7zh1zYUrKdGgVUJ2YsSoHIZTuiyeLYd7Q9kuTm5mtSs817YIo4S0fDIQx5Qi3xPfa+KIc4yP4h/7UeaeOzZ4hHZ8dLO/iRe+7VGsyuPhWsS3zlpGtCVFkt7LtnAC0xzc9NKLRed6/kekwTqP1gbT5f9YIU0si6bXN5oszqQzm5cTq0jPAy77lFjsgKOLdUgo5PCk6+H9bbXnop+cOZV0igb7Mqk2hsO/GeU4MhQSUGif4+u8yaDs8lP9QLhRgf02l7PWsJHeJcgBuqG5BApV3p456xmjFzemzMgYnX4fIV1ZfxKHlpHlNE3KIPDlFviymE+skTdux/DeJLLtGJTNLn7ZkLfgZ7lx8UBcyBBghexYsplTE/QKJO/5ck73rt3RSBEjYCKuxOOyI9H8044YRVW3A7PcG6fbrFOF4qp7KPGNeIQRsSvxJvwN6PvnjHt/klgYK/r6laALYWy1S6w1a36SZmDh148M

On 2017-03-06 15:29, Théo Zimmermann wrote:
> That's another feature which is also provided by Company-Coq (advertised
> as prettification), right?

Correct. A bit less general, but based on Emacs primitives instead of custom
fontification rules.

[Coq-Club] Unicode tokens?, Paul A. Steckler, 03/06/2017
- Re: [Coq-Club] Unicode tokens?, Makarius, 03/06/2017
  - Re: [Coq-Club] Unicode tokens?, Théo Zimmermann, 03/06/2017
    - Re: [Coq-Club] Unicode tokens?, Clément Pit-Claudel, 03/06/2017
      - Re: [Coq-Club] Unicode tokens?, Christian Doczkal, 03/07/2017
        
        Re: [Coq-Club] Unicode tokens?, Théo Zimmermann, 03/07/2017
  - Re: [Coq-Club] Unicode tokens?, Paul A. Steckler, 03/06/2017
    - Re: [Coq-Club] Unicode tokens?, Benjamin C. Pierce, 03/07/2017
      - Re: [Coq-Club] Unicode tokens?, Christian Doczkal, 03/07/2017
- Message not available
  - Re: [Coq-Club] Unicode tokens?, Paul A. Steckler, 03/07/2017
    - Re: [Coq-Club] Unicode tokens?, Tom Hirschowitz, 03/07/2017
      - Re: [Coq-Club] Unicode tokens?, Théo Zimmermann, 03/08/2017
      - Re: [Coq-Club] Unicode tokens?, Clément Pit-Claudel, 03/08/2017
        
        Re: [Coq-Club] Unicode tokens?, Tom Hirschowitz, 03/08/2017