The Coq mailing list

[Todd Wilson <twilson+ AT cs.cmu.edu>]

After using coqtop and Proof General, I'd like to try coqIDE, but it 
seems to be available only in an RPM that is built against gtk2-2.6. 
Unfortunately, I'm stuck with RHEL4 for the moment, for which the latest 
version of gtk2 available is 2.4, and so I'm not able to install the 
package.  Are there RPMs built against the earlier version of gtk2, or 
tarballs that work, or can be compiled to work, with this version?

Todd Wilson