coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	maj	filliatr	2004-01-15
*	maj	filliatr	2004-01-15
*	compact nested universal quantifications into a single quantification with	bertot	2004-01-14
*	make sure the parser for FORMULA does not require them to be enclosed in	bertot	2004-01-14
*	Now, the grammar extension from .v files are concentrated in just a few	bertot	2004-01-14
*	make libraries, lexing of more utf8 symbols	marche	2004-01-14
*	maj	filliatr	2004-01-14
*	MAJ	herbelin	2004-01-13
*	Reflet dans l'arbre de syntaxe de la difference syntaxique entre 'Variables a...	herbelin	2004-01-13
*	Suppression de Rsyntax en v8	herbelin	2004-01-13
*	Reference obsolete au niveau 200 de pattern	herbelin	2004-01-13
*	maj	filliatr	2004-01-13
*	Set is not always impredicative	barras	2004-01-12
*	maj	filliatr	2004-01-12
*	maj	filliatr	2004-01-10
*	maj	filliatr	2004-01-10
*	bugs avec Pose et Assert	barras	2004-01-09
*	Commentaires en v8	herbelin	2004-01-09
*	Retrait de la notation '^' pour 'power' en V7 car sinon confusion avec la syn...	herbelin	2004-01-09
*	maj	filliatr	2004-01-09
*	Finalisation du mecanisme de creation du rpm coqide	herbelin	2004-01-08
*	Ajout cible install-ide	herbelin	2004-01-08
*	maj	filliatr	2004-01-08
*	Vieille syntaxe	herbelin	2004-01-07
*	Cible redondante qui trouble les make non linux	herbelin	2004-01-07
*	maj	filliatr	2004-01-07
*	Version 1 pour coqide	herbelin	2004-01-06
*	pas ide	herbelin	2004-01-06
*	MAJ rpm	herbelin	2004-01-06
*	MAJ	herbelin	2004-01-06
*	MAJ	herbelin	2004-01-06
*	maj	filliatr	2004-01-06
*	Defaut d'information affichage en cas de notation incompatible	herbelin	2004-01-05
*	certains id n'etaient pas renommes pour eviter les conflits avec les mots-cles	barras	2004-01-05
*	maj	filliatr	2004-01-05
*	maj	filliatr	2004-01-03
*	maj	filliatr	2004-01-03
*	meilleure presentation des commentaires du traducteur	barras	2004-01-02
*	maj	filliatr	2004-01-02
*	[ -d ... ] au lieu de [ -f ... ] sur commit précédént	herbelin	2004-01-01
*	maj	filliatr	2004-01-01
*	* empty log message *	barras	2003-12-31
*	maj	filliatr	2003-12-31
*	option -strict-implicit pas reconnue	barras	2003-12-30
*	ameliorations coqide	coq	2003-12-30
*	maj	filliatr	2003-12-30
*	maj	filliatr	2003-12-29
*	MAJ 8.0	herbelin	2003-12-28
*	Protection contre l'echec des tests parser pour la distrib	herbelin	2003-12-27
*	Suppression en v8	herbelin	2003-12-27