coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Unicode tokens?

From: Makarius <makarius AT sketis.net>
To: coq-club AT inria.fr, Coqdev <coqdev AT inria.fr>
Subject: Re: [Coq-Club] Unicode tokens?
Date: Mon, 6 Mar 2017 21:17:58 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=makarius AT sketis.net; spf=Pass smtp.mailfrom=makarius AT sketis.net; spf=None smtp.helo=postmaster AT mxf960.netcup.net
Ironport-phdr: 9a23:Yx1kfR0LjGk09uqBsmDT+DRfVm0co7zxezQtwd8ZsesfKfad9pjvdHbS+e9qxAeQG96KtrQY06GP6P+oGTRZp83e4DZaKN0EfiRGoPtVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaymUrLV2s+wzqW5/4DZSwROnju0J71oaF2dqhzdu9de1YBlM6o81DPIpGFJcqJY3zU7C0iUmkPZ78S55p9+6GwEvvsi/tRBTL7SZKc1Ub1DSjIrLzZmt4XQqRDfQF7XtTMnWWIMn08QDg==

On 06/03/17 21:10, Paul A. Steckler wrote:
> Is anyone using the "Unicode tokens" feature of Proof General?
>
> That's the feature that turns certain keywords and symbols, like
> "forall", into pretty Unicode versions.
>
> That feature has some bugs right now, so it would be nice to know if
> there are users who would appreciate fixes.

Many years ago, it was used by Isabelle Proof General, but Isabelle no
longer supports Proof General since October 2014.

I am unsure if it was ever relevant for Coq Proof General.

Makarius

[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