tonio 345108cf65 Update lang/coq to 8.1pl3 ... hanges from V8.1pl2 to V8.1pl3 =============================== Bug fixes - A critical bug and a few other bugs have been fixed.		2008-01-12 11:48:39 +00:00
..
patches	Update lang/coq to 8.1pl3	2008-01-12 11:48:39 +00:00
DESCR
distinfo	Update lang/coq to 8.1pl3	2008-01-12 11:48:39 +00:00
Makefile	Update lang/coq to 8.1pl3	2008-01-12 11:48:39 +00:00
MESSAGE
PLIST	Update lang/coq to 8.2pl2	2007-12-01 13:05:36 +00:00
PLIST.opt	Add an option "coqide" to enable the gtk2 ide of coq	2007-01-17 11:14:46 +00:00