coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] keyboard issue in Coq IDE

From: Gergely Buday <gbuday AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] keyboard issue in Coq IDE
Date: Mon, 14 May 2018 09:01:44 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gbuday AT gmail.com; spf=Pass smtp.mailfrom=gbuday AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f51.google.com
Ironport-phdr: 9a23:nKtFLxCWRQttHfhhSKOBUyQJP3N1i/DPJgcQr6AfoPdwSPr8p8bcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoJNzA3/mLKhMJukK1Wuw6hqwBlzoLIfI2ZKPhzc6XAdt0aX2pBWcNRWjRADIyidYsPAPQOPeJYroLgulYOsAaxChOsBejyzTJIiWT53bAn3Os7EQDLxwMgH9cUv3TVqNX5LrsdUeewzKTRyzjIcvBY2S/l5YTWbhwspeuAULFwfMbL10UjCg3Igk+QpID4OT6ey/4DvHKB7+V6UOKik24npB91ojio3sosj5PGhoMRylzd6yV5w5o5KcS2SEN7fNKoCpRQtyadN4t5RsMtXXtktzo9yr0DoZK7fS4Kx4o7xxPHdfCLb4yF7gjgWeuROzt0mm9pdbylixuy7ESs0uj8WdO10FZOoCpFiN7MtnUV2hzc8ceHV+Zy8V2h2DuU2ADT7/tLIUEwlabBN5EhxbswmoIJsUvfBi/2hFn2jKiOe0o4/eio8v3rbanipp+BLIB5kRr+M6QrmsynG+s0KAkOX26B+eS9zrLv50P5QK8ZxsExx6LeqdXRIdkRjq+/GQ5clIg5uDilCDLz/9kCknQDPRpvZR6OnsC9NFvTLPnpJfi6ilWo1jxswqaVbfXaHpzRIy2bw//adrFn5hsEkVth/ZVk/5tRT4o5Drf2U071usbfC0ZgYQOxyufjTt5609FHAD7dMuqiKKrX9GSwyKc3OeDVPd0avT/8L74u4Pu81SZky29YRrGg2N4sUF79HvliJB/EM3/lg9NED2RS+wRjFarlj1qNVTMVbHG3Dfox

Hi,

I have installed Coq 8.7.1 to use it for the Software Foundations course.

I tried to make a small exercise in a .v file but shift-9 does not
result in a closing parenthesis as expected, it gives a 9. I have a
Hungarian keyboard.

How can I fix this?

- Gergely

[Coq-Club] keyboard issue in Coq IDE, Gergely Buday, 05/14/2018
- Re: [Coq-Club] keyboard issue in Coq IDE, Théo Zimmermann, 05/14/2018
  - Re: [Coq-Club] keyboard issue in Coq IDE, Gergely Buday, 05/14/2018
    - Re: [Coq-Club] keyboard issue in Coq IDE, Théo Zimmermann, 05/14/2018