coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix de divers petits problèmes d'installation	notin	2009-02-11
*	Modification du style du manuel de référence	notin	2009-02-11
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	Allow to turn contrib/subtac into a (nat)dynlink'able plugin	letouzey	2009-02-03
*	Fix the installation of plugins (both initial and late ones)	letouzey	2009-02-03
*	Remplacement de cp --parents par un script sh	notin	2009-01-22
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Getting rid of the previous implementation of setoid_rewrite which was	msozeau	2009-01-18
*	DISCLAIMER	puech	2009-01-17
*	Workaround to compile the coq archive with dynamic loading on Mac OS 10.5	herbelin	2009-01-13
*	- Fixed the recompilation of config/revision.ml once every two conmpilations.	herbelin	2009-01-10
*	Minor doc fixes:	msozeau	2009-01-08
*	Suite de la révision #11756	notin	2009-01-07
*	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin	2009-01-06
*	Report de la révision 11754 (compilation sous windows)	notin	2009-01-06
*	Moved JProver to a user contribution (as was decided a long time ago)	herbelin	2009-01-04
*	- coq_makefile: target install now respects the original tree structure	herbelin	2008-12-24
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey	2008-12-16
*	Move FunctionalExtensionality to Logic/ (someone please check that the	msozeau	2008-12-16
*	Correction du bug #1995	notin	2008-11-12
*	Native "Declare ML Module" when possible	glondu	2008-10-28
*	- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)	herbelin	2008-10-18
*	Do not install csdpcert in $(BINDIR)	glondu	2008-09-07
*	Install coqide manpage	glondu	2008-09-06
*	More cleaning	glondu	2008-09-06
*	Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles	glondu	2008-09-06
*	Build coqrun library using ocamlmklib...	glondu	2008-09-05
*	Initial implementation of a new command to define (dependent) functions by	msozeau	2008-09-02
*	added Makefile target: validate (to recheck all .vo in a row)	barras	2008-09-02
*	Renaming parser -> coq-parser	glondu	2008-08-18
*	Install csdpcert with libraries	glondu	2008-08-16
*	micromega : bug fixes and optimisations	fbesson	2008-08-07
*	Évolutions diverses et variées.	herbelin	2008-08-04
*	Now, -browser option is effective (and compiles)	glondu	2008-07-27
*	- Suppression de Rstar/Newman peu utilisables comme biblio (encodage	herbelin	2008-07-17
*	Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...	notin	2008-07-16
*	Micromega: doc + test-suite update	fbesson	2008-07-07
*	Some work on BigQ :	letouzey	2008-06-25
*	Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...	notin	2008-06-25
*	Report de la révision #11175 de la branche v8.2 vers le trunk	notin	2008-06-25
*	Micromega : bugs fixes - renaming of tactics - documentation	fbesson	2008-06-25
*	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin	2008-06-24
*	Remplacement des 'cp' et 'mkdir' par 'install'	notin	2008-06-12
*	2-3 petites modifs pour la compilation sous Windows...	notin	2008-06-06
*	Fix setoid_rewrite documentation examples.	msozeau	2008-06-03
*	In abstract parts of theories/Numbers, plus/times becomes add/mul,	letouzey	2008-06-03
*	Quelques amendements liées à la compilation des packages.	herbelin	2008-06-01
*	BigQ: starting to create and use an interface QSig	letouzey	2008-06-01
*	Enhance the BigN and BigZ infrastructure:	letouzey	2008-06-01