2 Commits

Author	SHA1	Message	Date
chrisz	cc072d54cf	update to version 8.4 ... OK jasper@, sthen@, Yozo Toda (maintainer)	2013-01-04 11:07:28 +00:00
sturm	18ebc748c1	make coq use the ocaml module ... requested by and OK naddy@	2002-12-18 09:40:07 +00:00