The Coq mailing list

[Jim Fehrle <jim.fehrle AT gmail.com>]

Hi Cao,

I've had a similar problem in the past.  CoqIDE creates two configuration files in C:\Users\<USERNAME>\AppData\Local\coq.  If they are corrupted CoqIDE may not start.  I suggest renaming or removing the existing files and reinstalling CoqIDE.

Hope this helps,

Jim

On Sat, Jun 22, 2019 at 11:53 PM Cao Qinxiang <caoqinxiang AT gmail.com> wrote:

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