coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Unicode tokens?

From: "Paul A. Steckler" <steck AT stecksoft.com>
To: coq-club <coq-club AT inria.fr>
Cc: Coqdev <coqdev AT inria.fr>
Subject: Re: [Coq-Club] Unicode tokens?
Date: Mon, 6 Mar 2017 16:10:18 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=stecksoft AT gmail.com; spf=Pass smtp.mailfrom=stecksoft AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f177.google.com
Ironport-phdr: 9a23:6wZc/B3FuvfzQB1ismDT+DRfVm0co7zxezQtwd8ZseseIvad9pjvdHbS+e9qxAeQG96KtrQY06GP7/6oGTRZp83e4DZaKN0EfiRGoPtVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaymUrLV2s+wzqW5/4DZK1FDgyP4ardvJj23qx/Qv48Ym90xBLw2z06DmnJVf6x/gytTOV+YnBLx/I34qIV//i9Tk+k9+sVDSqL0Y+IzSrkOX2duCHw8+MC+7UqLdgCI/HZJCmg=

On Mon, Mar 6, 2017 at 3:17 PM, Makarius
<makarius AT sketis.net>
wrote:
> I am unsure if it was ever relevant for Coq Proof General.

There are some definitions in the Coq part of PG for syntax
highlighting for Software Foundations, that uses the Unicode tokens
mechanism. Also, there is a test file in the Coq part of PG for
Unicode tokens.

[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
    - Re: [Coq-Club] Unicode tokens?, Pierre Courtieu, 03/08/2017
      - Re: [Coq-Club] Unicode tokens?, Vadim Zaliva, 03/08/2017
        
        Re: [Coq-Club] Unicode tokens?, Matej Kosik, 03/08/2017