coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Gergely Buday <gbuday AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] keyboard issue in Coq IDE
Date: Mon, 14 May 2018 10:05:06 +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-ua0-f175.google.com
Ironport-phdr: 9a23:sapfaBSafa0LM8xbJ/MB1TWFSdpsv+yvbD5Q0YIujvd0So/mwa68bBaN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/27ZisNyjKxVrhGvqQFhzYHIe4yaLuZyc7nHcN8GWWZMXMBcXDFBDIOmaIsPCvIMM+dGoInnqFsBsx++BAmxD+7y1z9Hm2X53K0n2OkmHgHJxxEgEM8Uv3XUt9j1O6ISXvq0zKnM1znMc/RW2TLk5YXObxsvoumMUKpufcbNzUQjDQDIg1WKpYD7Ij+Y1P4Bv3WZ4udgU++klnQppBtroje1w8chkonJiZwRylDD7Sh5xZw6Jdy8SEJifN6rCodcuziUN4drQM4vQ3tkuCk9yr0Btp67eDYFxI47yB7YbvyLa4mI4hT9W+aNOTp0mm5pdbalixux8UWs0PPwWtS23VpQsyZIkNnBumgI1xPJ68iHTvV9/l2m2TaKzw3T5fpLIV0pmqXBK58s2bEwlp8JvkTCGi/6gln5jKiTdkk84Oin9/znYqn6pp+bL4J7lgb+Mr03lsOjBeQ4LxMBUnOA+eW80b3j5Vf2TK9Ljv0wiKnZsYrVKd4Vpq6jUEdp1dMo7A/6BDO72vwZm2MGJRRLYkGplY/sbn7DOv/1Ceb3qUmgmSYjk//MI7HoE73CK3HClPHqerMruB0U8xY60d0Kv8EcMboGOv+mAhag5uydNQcwNkmP+8iiDdx80o0EXmfWW/2WNarTtRmD4ed9erDQNr9Qgy70Lr0e39CrlWUwwAZPcqyg3J9RY3e9TKw/fhepJEH0i9JEKl8k+wozSOuw1g+HWD9XImu7B+cyv25mTo2hCojHS8amh7nThCo=

This is on Windows 10.

And opening parenthesis worked.

At last I have installed US English keyboard layout and it worked.

Strangely, now it works with HUN layout. Sorry about the nuisance. It might have been some hw/opsys issue.

- Gergely

Théo Zimmermann <theo.zimmi AT gmail.com> ezt írta (időpont: 2018. máj. 14., H 9:56):

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