The Coq mailing list

["Brian E. Aydemir" <baydemir AT cis.upenn.edu>]

On Apr 12, 2007, at 8:55 AM, 
Nassima.Izerrouken AT enseeiht.fr
 wrote:

> 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?

I've seen that exception when X11.app is not running.  Since CoqIDE  
is an X11 application, you need to first make sure that X11.app is  
running.  Second, you need to make sure that the DISPLAY environment  
variable is set appropriately.  If you start CoqIDE from an xterm,  
this should already be taken care of; if you start it from, say,  
Terminal.app, you may need to set DISPLAY to :0.

In any event, that's my guess.

Hope that helps,
Brian