coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Backporting 11445 from 8.2 to trunk (negative conditions in	herbelin	2008-10-11
*	Ajout de la possibilité de faire référence dans certains cas à un nom	herbelin	2007-04-28
*	Nouvelle approche pour le discharge modulaire	herbelin	2007-01-10
*	Essai de changement de sémantique du %scope :	herbelin	2006-10-05
*	Utilisation du section_path pour le parsing des notations primitives,	herbelin	2006-02-04
*	Automatisation de l'utilisation de token primitifs dans les motifs de filtrag...	herbelin	2006-01-08
*	Ajout d'un mécanisme d'interprétation et d'affichage pour les littéraux de...	herbelin	2005-12-30
*	Simplifification de vernac_expr li l'abandon du traducteur	herbelin	2005-12-23
*	Compatibilité ocamlweb pour cible doc	herbelin	2005-01-21
*	Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...	herbelin	2005-01-02