Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Mac CoqIDE_8.4pl5.app: Failed to load coqtop. Reset the preference to default ?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Mac CoqIDE_8.4pl5.app: Failed to load coqtop. Reset the preference to default ?


Chronological Thread 
  • 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

Archive powered by MHonArc 2.6.18.

Top of Page