daniel ad7f6192e7 Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@; ... fix taken from coq trunk. ok Yozo Toda (MAINTAINER) some time ago. ok chrisz@		2014-08-27 09:44:59 +00:00
..
patches	Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@;	2014-08-27 09:44:59 +00:00
pkg	Update to 8.4pl3; Yozo Toda.	2014-03-26 03:27:26 +00:00
distinfo	Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@;	2014-08-27 09:44:59 +00:00
Makefile	Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@;	2014-08-27 09:44:59 +00:00