The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

Hi list,
I plan to make a Coq_bundle MacOS installer that would make possible  
for users to install at the same time a precompiled version of Coq,  
one of the IDEs and some plugins (user contributions that contains  
Ocaml files) Actually some of these plugins are commonly used but they  
need to be compiled in the exact same configuration used to compile Coq.

Doing this takes a lot of time and requires to fight with an  
undocumented Apple xml language (generated by PackageMaker IdE) if we  
want the packaging to be automatic in the future.
I failed until now to build one. Never the less, some of you might  
need the plugins right now. Therefore, I have done (as for v8.4beta)  
tar.bz2 of compiled installation of Ssreflect, Containers, AAC_tactics  
and DescenteInfinie that you can find here : http://www.pps.univ-paris-diderot.fr/~pboutill/coq-night/v8.4/

Doing "sudo tar xjf myplugin-v8.4beta2.tar.bz2 -C /" should do the job.

As previously, if someone is kind/interressed enough to help me, I  
would gratefully thanks him.

Pierre Boutillier