coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	meilleure presentation des commentaires du traducteur	barras	2004-01-02
*	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin	2003-05-19
*	* empty log message *	barras	2003-03-12
*	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin	2002-11-24
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin	2002-10-13
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Réparation d'un bug qui considérait les composantes d'un QUALID	herbelin	2002-07-30
*	Généralisation des syntaxes ': T := t', ':= t : T', ': T', ':= t' pour	herbelin	2002-07-11
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	compat ocaml 3.03	filliatr	2001-12-13
*	nouvel algo de conversion plus uniforme	barras	2001-11-29
*	Parsing	herbelin	2001-08-10
*	entetes	filliatr	2001-03-15
*	Extension coerce_to_var	herbelin	2001-02-05
*	Prise en compte des noms longs dans les Hints et les Coercions	herbelin	2001-01-24
*	Bug dans les alias de Cases	herbelin	2000-12-14
*	section_path etait en fait bonne dans ast et buggee dans printer.ml	herbelin	2000-12-06
*	2ème bug de traduction des Path	herbelin	2000-12-06
*	Bug de traduction des Path	herbelin	2000-12-06
*	Prise en compte constructeur QUALID pour noms qualifiés	herbelin	2000-11-20
*	Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...	herbelin	2000-07-28
*	Intégration initiale du Cases	herbelin	1999-12-11
*	Suppression Rel de rawconstr et correction de bugs d'affichage	herbelin	1999-12-10
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	portage Astterm (partiellement)	filliatr	1999-11-29
*	module Classops; ajout de fonctions dans Declare en consequence	filliatr	1999-11-26
*	module Termast	filliatr	1999-11-26
*	modules Ast et Pcoq	filliatr	1999-09-08