coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coqide under Mac Os

From: Nassima.Izerrouken AT enseeiht.fr
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Coqide under Mac Os
Date: Thu, 12 Apr 2007 14:55:52 +0200 (CEST)
Importance: Normal
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hello,
I'm running Coq under Mac Os machine, and then i want to use the graphical
editor Coqide, it's installed but the following exception appear at
launch:

Fatal error: exception Gtk.Error("GtkMain.init: initialization failed
ml_gtk_init: initialization failed")

Someone has an idea?
Thank you

[Coq-Club] Coqide under Mac Os, Nassima . Izerrouken
- Re: [Coq-Club] Coqide under Mac Os, Brian E. Aydemir