coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Commit intermédiaire express de réparation de coqide.ml, que j'avais	aspiwack	2007-12-06
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05
*	Rétablissement compatibilité constr_of_reference	herbelin	2007-11-09
*	Prise en compte des notations "alias" dans la globalisation des coercions.	herbelin	2007-11-08
*	Amélioration du message d'erreur dans end_module, end_module_type et close_s...	notin	2007-10-29
*	Correction de plusieurs bugs de l'export XML (utilisation d'un type de	herbelin	2007-06-21
*	Par compatibilité, les implicites terminaux sont maximaux aussi quand	herbelin	2007-05-22
*	Correction bug calcul des implicites en présence d'evars dans les types	herbelin	2007-05-16
*	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack	2007-05-11
*	Nouveaux changements autour des implicites (notamment suite à	herbelin	2007-05-06
*	Multiples changements autour des implicites :	herbelin	2007-04-29
*	Ajout possibilité d'options à trois mots.	herbelin	2007-04-29
*	New keyword "Inline" for Parameters and Axioms for automatic	soubiran	2007-04-25
*	(PR#1529)	soubiran	2007-04-25
*	Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...	herbelin	2007-02-24
*	Removed some useless code in mod_typing that was redundant with safe_typing.	soubiran	2007-02-21
*	Correction bug #1364 (les variables de section sont repérées par	herbelin	2007-02-07
*	Correction bug #1333 (test non récursivité des dépendances en d'autres	herbelin	2007-01-24
*	Merge with Lionel Elie Mamane's private branch:	lmamane	2007-01-10
*	Merge from Lionel Elie Mamane's private branch:	lmamane	2007-01-10
*	Suite commit restructuration discharge (application du type de	herbelin	2007-01-10
*	Nouvelle approche pour le discharge modulaire	herbelin	2007-01-10
*	Cleaning backtracking code, optimized "Backtrack n x y" when n is	courtieu	2006-12-28
*	Correction bug #1041 (double cause : non évitement des noms existants en	herbelin	2006-12-12
*	Évitement noms de constructeurs dans les motifs de filtrage de "match" (suite)	herbelin	2006-12-09
*	Changement du magic number	notin	2006-11-06
*	Extension du polymorphisme de sorte au cas des définitions dans Type.	herbelin	2006-10-28
*	Ajout combinateurs option_fold_left et name_fold_map	herbelin	2006-10-09
*	Indentation + svnprop	notin	2006-09-12
*	Indentation + typo	notin	2006-09-01
*	Un peu de delta-réduction...	herbelin	2006-08-31
*	Correction du bug #1170: les options synchronisées déclarées dans une sect...	notin	2006-07-27
*	Nombre magique pour la 8.1beta	herbelin	2006-07-13
*	Correction bug #990 (LoadPath et option -R de coqide	notin	2006-05-30
*	Modification de add_glob (support des modules dans Coqdoc)	notin	2006-05-23
*	Clarification role de library_part : renommage en remove_section_part	herbelin	2006-05-23
*	Nouvelle implantation du polymorphisme de sorte pour les familles inductives	herbelin	2006-05-23
*	r8931@thot: notin \| 2006-04-28 16:19:38 +0200	notin	2006-04-28
*	Standardisation nom option_app en option_map	herbelin	2006-04-27
*	Ajout chop_dirpath	herbelin	2006-04-27
*	Changement anomaly en failwith dans out_name pour utilisation par map_succeed	herbelin	2006-04-24
*	Nouveau mécanisme pour les modules interactifs : les arguments de	herbelin	2006-04-16
*	Inversion de l'ordre de chargement des objets logiques et non logiques	herbelin	2006-04-15
*	Ajout array_fold_map', list_fold_map' et list_remove_first	herbelin	2006-03-29
*	Modification des propriétés (svn:executable)	notin	2006-03-17
*	Ajout syntaxe concrète Proposition, synonyme de Lemma	herbelin	2006-01-29
*	Réorganisation de la structure interne des types de déclarations (decl_kinds)	herbelin	2006-01-28
*	- Ajout syntaxe concrète Property/Corollary, synonymes de Lemma	herbelin	2006-01-28
*	* empty log message *	barras	2006-01-20