coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] keyboard issue in Coq IDE

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] keyboard issue in Coq IDE
Date: Mon, 14 May 2018 09:55:55 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f41.google.com
Ironport-phdr: 9a23:2pF7Vxcqx+y3HmTooi8Osh/FlGMj4u6mDksu8pMizoh2WeGdxcu6Zh7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM2/2/Xhc5wgqxVoxyvugJxzJLPbY6PKPZzZLnQcc8GSWdDWMtaSixPApm7b4sKF+cPI+ZYqJP6p1QWrhS+BAysBObxxT9Sg3/5x6s60+I8GgzBwAwgH8wBsHPOoNT0NacSVOW1zKjTwDXMavNZwzb96IzSfh89pvGMWKt9fMzMwkcsDwPIlkucpZDhMj+P1ekAs3KX4/R9We+hkWIqpBx9rz6yzck2kIbJnJgaylXc+CV53ok1Idq4RVZ+YdG+EZtQsziWN5V1Qs8+Wm1otik3xqActZ60eygKz5snxxrBZPCdb4eI5RfjWP6QITd+mn1lZKqyiwiu/UWk0OHxVcm53ExUoiZYnNTArH8A2wHL5siCUPR9/0Oh2TiV1wDU7+FJOVw0larFJJ4m2LIxl5sTsUHGHi/3g0j2g6qWeV8l+uis8ejofrLmppqEO49ulg7+KrgumtC4AekgLgcOWHGb9f2g273n4E32W65HjuY2k6ncqJDVP94Xpq+/Aw9P04Ys8QyzDzm80IdQoX5SJ1VcPRmDkoLBOlfUIfm+A+3srU6rlWJXx3HBCY/gB5DANH3KlrGpKap95kka2gs2yNF36JddC7VHK/X2DByi/OfEBwM0ZlTni93sD89wg9tHCDC/R5SBOaaXimemo+cmIu2CfogQ4W+vJP0s5vqohng8ywZEIfuZmKAPYXX9JcxIZl2DaCO10NgEGGYO+AE5Sb6y0QDQYXtof3+3GpkEyHQ7BYahV9qRQ4mshPmf33/+EMEPIG9BDV+IHDHjcIDWA/o=

To get help, you should provide much more information: What is your operating system? Is this the first time you install Coq and CoqIDE in this computer? I suppose you have the same issue with all digits, not just 9, is this the case?

Le lun. 14 mai 2018 à 09:02, Gergely Buday <gbuday AT gmail.com> a écrit :

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