coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoqIDE failure on Windows

From: Cao Qinxiang <caoqinxiang AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] CoqIDE failure on Windows
Date: Sun, 23 Jun 2019 14:52:29 +0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=caoqinxiang AT gmail.com; spf=Pass smtp.mailfrom=caoqinxiang AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi1-f173.google.com
Ironport-phdr: 9a23:Qid0yRFh3dQLeEdo4N85a51GYnF86YWxBRYc798ds5kLTJ78o8SwAkXT6L1XgUPTWs2DsrQY0rCQ6/GrADRfqdbZ6TZeKcUKD0dEwewt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEtfre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZ8Jqor1hfEpnREd/lKyW5qOFmfmwrw6tqq8JNs7ihcpugt+9JcXan/Yq81UaFWADM6Pm4v+cblrwPDTQyB5nsdVmUZjB9FCBXb4R/5Q5n8rDL0uvJy1yeGM8L2S6s0WSm54KdwVBDokiYHOCUn/2zRl8d9kbhUoBOlpxx43o7UfISYP+dwc6/BYd8XQ3dKU8BMXCJDH4y8dZMCAOUBM+hWrIfzukUAogelCAa2GO/i0CVFimPq0aA41ekqDAHI3BYnH9ILqHnZss/6NKAPWu6uzanIyzrCb/JM1jf754jDbxcsru2WUrJ3aMrRyE8vFgzEjlqKr4zlMCiY1usIs2eB7upgUfijhHIgqwF0uzWiwNonhIrRho8N1FzI6SF0zJw2KNC4UkJ3fN+pHZlKuy2HNYZ7TMUvSHxytikg0L0Jo5u7cTAKyJs5wx7fbOSKc42S7RLiUOadODB4hHN4dL6miRa+7Eqtx+PmWsm711ZKqSVFkt3SuXwXyxPT7c2HRuN8/kenxzmPyxje5v9YLU0wj6bWKJ4szqQtmpcSs0nPBDL6lUf4gaOOc0Ur4Omo6+DpYrX8oZ+cMpd5hR3kPaQpg8y/AOI4MwcPX2eB/+S826bu/UL8QLpQj/02lrPVv4zdJcQevqK5GRNa0p4/6xajCDeryMgXnX4eLF5cZB2Hi5XpNErVLfDjDfa/hkysny1xy/DHOL3hGJTNIWLZnLfvZ7Yuo3JbnQE01JVU449eIrAHOvP6HEHr5/LCCRpsGAWzi9/mDsV834URETaEC6iAMaXCsFaO6cogJuCNYMkevzOreKtt3OLnkXJswQxVRqKux5ZCMCnkTMQjGF2QZD/XuvlECX0D51NsQ+njiVnEWjlWNS7rAvAMowojAYfjNr/tA4CghLvbgnW+F5xSI2dHUxWCSCizMYqDXPgIZWSZJcozymVVB4jkcJco0FSVjCG/zrNmKuTO/ShB7MDs0dF046vYkhRgrDE=

Dear Coq Clubers,

Here is the problem:

After some CoqIDE crush on windows, the user failed to reopen CoqIDE. Moreover, coqide.exe appears in the task manager but no windows for it is actually opened. Even worse, this problem cannot be fixed by (1) restarting the computer, (2) reinstalling CoqIDE or (3) reinstalling another version of CoqIDE. Current, we can only solve this problem by reinstalling the operating system, which is bad.

I personally also get to this issue once 3 or 4 years ago. Then I gave up Coq on windows laptop and chose Mac at that time. And recently, two of my students has this same issue.

Does any one of you have similar experience and know how to fix it?

Thank you very much!

Qinxiang Cao

Shanghai Jiao Tong University, John Hopcroft Center

Room 1110-2, SJTUSE Building

800 Dongchuan Road, Shanghai, China, 200240

[Coq-Club] CoqIDE failure on Windows, Cao Qinxiang, 06/23/2019
- Re: [Coq-Club] CoqIDE failure on Windows, Jim Fehrle, 06/23/2019
  - RE: [Coq-Club] CoqIDE failure on Windows, Soegtrop, Michael, 06/23/2019
    - Re: [Coq-Club] CoqIDE failure on Windows, Jim Fehrle, 06/23/2019
      - RE: [Coq-Club] CoqIDE failure on Windows, Soegtrop, Michael, 06/24/2019