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 10:25:36 +0200
Authentication-results: mail2-smtp-roc.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-f46.google.com
Ironport-phdr: 9a23:rIJXRhZ8D5iFmCW24xizQzD/LSx+4OfEezUN459isYplN5qZoMy4bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjE2/mHYiMx+gqxYrhy8uRJw35XZb5uJOPdkZK7RYc8WSGhHU81MVyJBGIS8b44XAuQfPeZftY79qEMNohu/AAmsAf3gyiVNhnDs26061fkqHAba3AwgAd0Ot27YrdT0NKcXVOC1zbLFzTrGb/xM2Df97JLEfQwmofGJRL99d9fax0o3Fw7dkFmctYjoMymW2+kNqWSX8fdsWOy1h2Moqgx8pCWkyN02hYnTnI0Vz0jJ9SVnz4YxIt21UEt7bsSlEJtUri2aKYh2Tt87T2Fmtys3y6cKuZG8fCgNx5QnwwDQZ+abfIiP5xLvTOeRITFmi3J5YL+zmQq+/Ey6xuD/VsS4ykhGojdLn9XWuX0A1gTf6s2dRft8+keh1yyP1wfW6uxcPUA0lbTUK5k7zr8xl5oTtEHDHi7tlUX5ia+ZbEQk+uyy5+v7ZbXmo4eQN5VohQHmLqQuhsu/DPwkPQgJRmiX4Piz1Ln+/ULiW7hKlf03kqzBsJ/AP8gbp6i5AxVU0ok58Rq/AS2mg5wkmiwMK0sAcxaahaDoPUvPKbb2F6SRmVOpxQtrRvfxDLzkB5jXK3HFlv+1YbZw7AhOyQ82zPhQ4ptVDvcKJ/elCRy5j8DREhJsa1/8+O3gEtgojtpPC1LKObeQNebpiXHN4+suJ+eWY4pM4WTyLvEk47jlinprwAZBL5ns5oMebTWDJtojO1+QOCO+jdIIEGNMtQ07HrSz1Q+yFAVLbnP3ZJoSozE2DIX8UNXGT4GpxaKChGK1QsMQaWdBBVSBV3zvctfcVg==

OK great to hear it now works well for you :)

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

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