coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout d'une commande pour afficher chaque coercion à la demande	herbelin	2001-02-06
*	Correction pour Time pour ne pas etre oblige de mettre deux points	delahaye	2001-02-05
*	Ajout option Set/Unset/Test Printing Coercions	herbelin	2001-01-31
*	Factorisation du '.' final	herbelin	2001-01-27
*	Token n'est plus un keyword	herbelin	2000-12-25
*	Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewrite	herbelin	2000-12-16
*	Re-ajout des syntaxes Add LoadPath, Remove LoadPath, etc; ajout entrées 'Set...	herbelin	2000-12-15
*	Now AddRecPath and AddPath can be used with an As option to specify the	sacerdot	2000-11-29
*	Restruration autour de qualidarg	herbelin	2000-11-26
*	SearchPattern et SearchRewrite	filliatr	2000-11-24
*	deplacement poly_args; iterateurs sur les segments	filliatr	2000-11-22
*	Prise en compte des noms qualifiés dans certaines commandes; nouveau lexeme ...	herbelin	2000-11-20
*	nouveau load path	filliatr	2000-11-08
*	compilation des fichiers ml4 sans GNUseries	filliatr	2000-11-03
*	Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...	herbelin	2000-10-18
*	Pb factorisation de Print Grammar	herbelin	2000-10-17
*	Ajout d'un LetIn primitif.	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
*	Ajout du langage de tactiques	delahaye	2000-05-03
*	Bête renommage	herbelin	2000-01-20
*	Nettoyage des fichiers de parsing	herbelin	2000-01-13
*	Renommage command en constr	herbelin	2000-01-07
*	compilation des grammaires (ouf)	filliatr	1999-09-08
*	modules grammaire Coq	filliatr	1999-09-08