coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Strange behaviour of CoqIde

From: Ilmārs Cīrulis <ilmars.cirulis AT gmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Strange behaviour of CoqIde
Date: Mon, 1 Feb 2016 11:27:17 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ilmars.cirulis AT gmail.com; spf=Pass smtp.mailfrom=ilmars.cirulis AT gmail.com; spf=None smtp.helo=postmaster AT mail-yk0-f171.google.com
Ironport-phdr: 9a23:OkrF7xC5Nfj9UofNrZ9RUyQJP3N1i/DPJgcQr6AfoPdwSP79ocbcNUDSrc9gkEXOFd2CrakU1KyO4uu6CTRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbqqtaJM10ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Ku4zSqUdBzA7OUg04tfqvF/NV0HHsnAbSyAdlgdCKwnD9hDzGJnr5HjUrO14jQieOGbsVvgfWC6/66ZwAEvpjCIOLSV/+2DNl8hxl4pUpRugo1p0xIuCM9LdD+Z3Yq6IJYBSfmFGRMsEDyE=

Greetings

Every time, when I press "w", it opens Coq manual in the browser. Somehow I enabled such behaviour, but I don't know how and don't know how to disable it.

On other Windows computer it's okay, the same on Linux.

So far I use Unicode input of "u0077", but it's only temporary fix.

[Coq-Club] Strange behaviour of CoqIde, Ilmārs Cīrulis, 02/01/2016
- Re: [Coq-Club] Strange behaviour of CoqIde, Jacek Chrząszcz, 02/01/2016
  - Re: [Coq-Club] Strange behaviour of CoqIde, Ilmārs Cīrulis, 02/01/2016