The Coq mailing list

["aziz 79" <aziz1979 AT hotmail.fr>]

Bonjour

Après avoir installer Coq, Je voulais installer CoqIde sur RedHat mais je 
n'arrive à le faire fonctionner l'IDE. Le message d'erreur qu'il m'affiche

Undefined symbol: gtk_color_button_get type

Pourtant le package gtk est bien installé et Gtk-demo  fonctionne 
parfaitement.

Merci d'avance
Cordialement

_________________________________________________________________
Découvrez Windows Live Messenger : le futur de MSN Messenger ! 
www.windowslivemessenger.fr