INSTALLATION PROCEDURE FOR THE PRECOMPILED VERSION OF COQ SYSTEM UNDER MACOS X
------------------------------------------------------------------------------

See up-to-date informations on http://coq.inria.fr/download.