coq - The formal proof system

Age	Commit message (Expand)	Author
2006-01-08	Prise en compte de notations numérales définies au niveau utilisateur + tra...	herbelin
2006-01-08	Enregistrement dans glob.dump des utilisations de notations numériques (qui ...	herbelin
2006-01-08	Automatisation de l'utilisation de token primitifs dans les motifs de filtrag...	herbelin
2006-01-08	Automatisation de l'utilisation de token primitifs dans les motifs de filtrage	herbelin
2006-01-08	Ajout rawconstr_of_aconstr	herbelin
2006-01-08	Fonctions de conversion rawconstr <-> cases_pattern	herbelin
2006-01-07	maj	coq
2006-01-07	Réorganisation; suppression code mort; documentation	herbelin
2006-01-07	MAJ	herbelin
2006-01-06	maj	coq
2006-01-06	Petite modification de la gestion du '.' (jmn)	coq
2006-01-05	maj	coq
2006-01-05	* empty log message *	barras
2006-01-05	Amelioration de l'elimination des preuves (bugs #1052 et #950-II) (jmn)	coq
2006-01-05	Test choix conflit afficheur de nombres selon la présence ou pas d'une coercion	herbelin
2006-01-05	* empty log message *	coq
2006-01-05	Suite révision 1.100 et synthèse optimale des 2 approches possibles: si la ...	herbelin
2006-01-05	Adding a man page for doqdoc (JMN)	coq
2006-01-04	maj	coq
2006-01-04	Suppression des coercions non seulement avant l'affichage des notations mais ...	herbelin
2006-01-04	Restauration des commandes de débogage PrintConstr et PrintPureConstr (suite...	herbelin
2006-01-04	Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)	herbelin
2006-01-04	Remise en place des commandes vernaculaires PrintConstr et PrintPureConstr (d...	herbelin
2006-01-04	Achèvement du commit incomplet de la révision 1.110 (cvs log toplevel/metas...	herbelin
2006-01-03	maj	coq
2006-01-03	Modification pour que l'ordre des éléments respecte l'ordre dans lequel ils...	herbelin
2006-01-03	Redéclaration de la notation à l'import pour être cohérent avec l'activat...	herbelin
2006-01-02	maj	coq
2006-01-02	Affichage de 'O' (lettre) comme '0' (chiffre)	herbelin
2006-01-01	maj	coq
2005-12-31	maj	coq
2005-12-30	maj	coq
2005-12-30	Application du souhait de transparence de well_founded_ltof (#1007)	herbelin
2005-12-30	Test bug #1025	herbelin
2005-12-30	Correction dépendance g_prim.ml4/q_coqast.ml4	herbelin
2005-12-30	Ajout d'un mécanisme d'interprétation et d'affichage pour les littéraux de...	herbelin
2005-12-30	Mini-restructuration	herbelin
2005-12-30	Nettoyage coqlib	herbelin
2005-12-30	Nettoyage coqlib	herbelin
2005-12-30	Ajout booléens; nettoyage	herbelin
2005-12-29	maj	coq
2005-12-29	La distribution de Rocq/GRAPHS se fait via le serveur de contributions utilis...	herbelin
2005-12-28	maj	coq
2005-12-28	Commentaire mort	herbelin
2005-12-28	Remplacement Pp.qs par Pptactic.qsnew	herbelin
2005-12-28	MAJ	herbelin
2005-12-28	Analyse des tests automatiques de compilation des contributions	herbelin
2005-12-28	Remplacement -no-vm par -vm	herbelin
2005-12-27	maj	coq
2005-12-27	Autres suppressions de composantes du traducteur	herbelin