coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	MAJ	herbelin	2001-03-23
*	MAJ	herbelin	2001-03-14
*	MAJ	herbelin	2001-02-16
*	MAJ	herbelin	2001-01-31
*	Mise en place de la possibilite d'unfolder des variables locales et des const...	filliatr	2001-01-31
*	MAJ	herbelin	2001-01-30
*	MAJ	herbelin	2001-01-30
*	MAJ	herbelin	2001-01-24
*	Dernière MAJ	herbelin	2000-12-26
*	Traduction en francais de 'CHANGES' dont le contenu était en français	herbelin	2000-12-22
*	MAJ	herbelin	2000-12-20
*	MAJ	herbelin	2000-12-20
*	MAJ	herbelin	2000-12-18
*	MAJ	herbelin	2000-12-16
*	Mise en page	herbelin	2000-12-15
*	MAJ	herbelin	2000-12-15
*	MAJ	herbelin	2000-12-06
*	Portage d'AutoRewrite	delahaye	2000-12-02
*	MAJ	herbelin	2000-11-27
*	certains effets disparaissent a la sortie des sections, d'autres non (selon S...	filliatr	2000-11-24
*	MAJ	herbelin	2000-11-24
*	Ajout d'une syntaxe pour Reals.	mayero	2000-11-23
*	deplacement poly_args; iterateurs sur les segments	filliatr	2000-11-22
*	implicites manuels	filliatr	2000-11-21
*	Begin-End Silent deviennent Set?Unset Silent	mohring	2000-11-21
*	concernant les binaires	filliatr	2000-11-15
*	do_Makefile -> coq_makefile	filliatr	2000-11-09
*	Changement/extension dans les noms de parseurs de Grammar	herbelin	2000-11-07
*	MAJ	herbelin	2000-11-07
*	MAJ	herbelin	2000-10-28
*	MAJ	herbelin	2000-10-26
*	MAJ	herbelin	2000-10-23
*	MAJ	herbelin	2000-10-19
*	MAJ	herbelin	2000-10-18
*	MAJ	herbelin	2000-10-18
*	MAJ	herbelin	2000-10-16
*	MAJ	herbelin	2000-10-10
*	MAJ	herbelin	2000-10-06
*	MAJ	herbelin	2000-10-04
*	Suppression de Abst	herbelin	2000-09-10
*	Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...	herbelin	2000-07-28
*	Ajout syntaxe [ phr1 ... phrn ]. pour grouper des commandes (pour Time ou Gra...	herbelin	2000-07-26
*	MAJ	herbelin	2000-07-24
*	MAJ	herbelin	2000-06-29
*	MAJ	herbelin	2000-05-23
*	Fichiers des modifs pour l'utilisateurs	herbelin	2000-05-22