coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Branchement sur nouvelle interface de declare_numeral_interpreter	herbelin	2006-02-04
*	Automatisation de l'utilisation de token primitifs dans les motifs de filtrage	herbelin	2006-01-08
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	Adoption du nom canonique global_of_constr pour éviter confusion avec type r...	herbelin	2005-05-20
*	Bug affichage entiers négatifs	herbelin	2005-02-17
*	Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...	herbelin	2005-01-02
*	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin	2004-12-24
*	Correction bug #868	herbelin	2004-11-10
*	Nouvelle en-tête	herbelin	2004-07-16
*	MAJ ZArith; contraintes plus faibles pour decider la capacite a interpreter l...	herbelin	2003-11-12
*	Interpretation des entiers dans N (ex-entier), maj du module des positive	herbelin	2003-11-05
*	Fusion des g_syntaxnew.ml avec les g_syntax.ml avec sélection dynamique selon	herbelin	2003-09-12
*	MAJ module requis pour le parsing des numéraux	herbelin	2003-09-12
*	* empty log message *	barras	2003-03-12
*	Pas de 0 dans positive	herbelin	2002-12-15
*	Z dans les patterns via les scopes	herbelin	2002-11-25
*	Installation des printers de nombres pour constr_expr	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
*	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
*	Parsing	herbelin	2001-08-10
*	entetes	filliatr	2001-03-15
*	Mise en place de parseurs avec globalisation pas seulement dans les quotation...	herbelin	2000-10-18
*	compilation native	filliatr	1999-12-03