coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: yi lu <zhiwudazhanjiangshi AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Mac CoqIDE_8.4pl5.app: Failed to load coqtop. Reset the preference to default ?
Date: Mon, 10 Nov 2014 10:35:45 +0800

Mac CoqIDE_8.4pl5.app: Failed to load coqtop. Reset the preference to default ?

Yes, not working.

No, works, but I have to select coqtop location every time.

open /Applications/CoqIDE_8.4pl5.app also works, no need to select the location.

Anything to do to fix?

[Coq-Club] Mac CoqIDE_8.4pl5.app: Failed to load coqtop. Reset the preference to default ?, yi lu, 11/10/2014