coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Unicode tokens?

From: "Paul A. Steckler" <steck AT stecksoft.com>
To: coq-club <coq-club AT inria.fr>, Coqdev <coqdev AT inria.fr>
Subject: [Coq-Club] Unicode tokens?
Date: Mon, 6 Mar 2017 15:10:34 -0500
Authentication-results: mail3-smtp-sop.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-f176.google.com
Ironport-phdr: 9a23:e9yMYxLyXRAGW55zndmcpTZWNBhigK39O0sv0rFitYgeK//xwZ3uMQTl6Ol3ixeRBMOAuq8C17Kd6vu/EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQtFiT69bL9oIxi6sQrdutQYjIZgN6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhSEaPDA77W7XkNR9gqJVrhyiuhJx3ZLbbZqJNPZiZK7RYc8WSXZDU8tXSidPApm8b4wKD+cZM+pWtZPyp0YKrRCjGQSgHv7kxCJUhnDowaI60OAhHh/c3AAuAtkDt2/UrMnrO6gOUuC417LIzSndYPxK2jf984/Ich49of2WQb1wds/RxFApGgjYjVuQsZToMy2J2ukJqWSW7OptWfixh2I6qQx9uCWjy8Uth4TPm4kb0ErL9T9jz4YwPdC4SFB0YdqjEJZIsiGVLYp2Qsc7T2F1oik21qQKuZCmcCUIyZkr3RHfa/uAc4iH5hLsSvydLit/hHJgYL6/hhCy/la8yuDkSMW4zFJHojBGn9TMrHwByQHf58qdRvdg/Eqs2C6D1wXJ5eFFJUA0m7DbK5kkwrMojZoTrVrMETP1mEXti6+WeFkk9/On6+TieLrmp5ucO5VohQH5N6Qigta/DvggMggSQ2ib/vyx26Hk/U3gWblFkvk2krTCv53BPsQapqu5AxdP3Yo56ha/CS2m0NUCknUdIlJFYgqNj5L1NFHWPPD4EfC/jkywnzds3vDJI6PuAovWI3jYkLbheK595FRGxAoyy9Bf/ZNUBasbLPL9QE+i/ODfWxQ+Kkm/x/vtQIF20ZpbUmaSCIeYNrnTuBmG/LRra8KLfYMYpn6pIP886/PwpX4/g14UO6ezi8g5cne9S75eKlidKVOqyuwdHGwJugckBqS+k0GPWj17fGq/VKEn4T8nTomhCNGQFciWnLWd0XLjTdVtbWdcBwXUHA==

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.

-- Paul

[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