wiz 3528e06345 Fix paths for GConf, libglade, libart, libsigc++, lablgtk moves. ... Bump PKGREVISION.		2007-09-21 13:03:25 +00:00
..
patches	Update lang/coq to 8.1	2007-02-25 15:03:52 +00:00
DESCR
distinfo	Update lang/coq to 8.1	2007-02-25 15:03:52 +00:00
Makefile	Fix paths for GConf, libglade, libart, libsigc++, lablgtk moves.	2007-09-21 13:03:25 +00:00
MESSAGE
PLIST	Update lang/coq to 8.1	2007-02-25 15:03:52 +00:00
PLIST.opt	Add an option "coqide" to enable the gtk2 ide of coq	2007-01-17 11:14:46 +00:00