coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Suite commit restructuration discharge (application du type de	herbelin	2007-01-10
*	Nouvelle approche pour le discharge modulaire	herbelin	2007-01-10
*	Add a flush for a warning.	courtieu	2006-10-23
*	Annulation de l'essai de changement de sémantique du %scope (révision 9208).	herbelin	2006-10-06
*	Essai de changement de sémantique du %scope :	herbelin	2006-10-05
*	Correction bug #1179 (result of Notation.decompose_notation_key in wrong order	herbelin	2006-09-23
*	Standardisation nom option_app en option_map	herbelin	2006-04-27
*	Utilisation du section_path pour le parsing des notations primitives,	herbelin	2006-02-04
*	Adaptation message d'erreur au cas des string	herbelin	2006-01-31
*	Suppression de la dépendance en Map.fold de ocaml dont la sémantique a	herbelin	2006-01-24
*	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
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	Simplifification de vernac_expr li l'abandon du traducteur	herbelin	2005-12-23
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	Moving centralised discharge into dispatched discharge_function; required to ...	herbelin	2005-02-18
*	HUGE COMMIT	sacerdot	2005-01-03
*	Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...	herbelin	2005-01-02