coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Meilleur anglais (cf #841)	herbelin	2004-09-08
*	Nouvelle en-tête	herbelin	2004-07-16
*	MAJ ZArith; contraintes plus faibles pour decider la capacite a interpreter l...	herbelin	2003-11-12
*	Explicitation message d'erreur nombres negatifs	herbelin	2003-11-04
*	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
*	Oubli	herbelin	2002-11-26
*	Rétablissement printer via ast	herbelin	2002-11-24
*	Installation des printers de nombres pour constr_expr	herbelin	2002-11-24
*	Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu...	herbelin	2002-11-20
*	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
*	entetes	filliatr	2001-03-15
*	Mise en place d'un système optionnel de discharge immédiat; prise en compte...	herbelin	2001-02-14
*	Bug nommage Stdlib	herbelin	2001-02-13
*	Bug nombres en chiffres décimaux dans les Cases	herbelin	2001-02-12
*	Retrait de EvarRef de global_reference; nettoyage autour de ast_of_ref	herbelin	2001-02-07
*	Ajout d'un parseur d'entiers sous forme de pattern	herbelin	2001-01-19
*	globalize_command devient globalize_constr	herbelin	2000-10-18
*	compilation native	filliatr	1999-12-03