| Age | Commit message (Expand) | Author |
|---|
| 2008-01-02 | Implicit arguments in class field declarations | msozeau |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-06 | 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-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-11-09 | Rétablissement compatibilité constr_of_reference | herbelin |
| 2007-11-08 | Prise en compte des notations "alias" dans la globalisation des coercions. | herbelin |
| 2007-10-29 | Amélioration du message d'erreur dans end_module, end_module_type et close_s... | notin |
| 2007-06-21 | Correction de plusieurs bugs de l'export XML (utilisation d'un type de | herbelin |
| 2007-05-22 | Par compatibilité, les implicites terminaux sont maximaux aussi quand | herbelin |
| 2007-05-16 | Correction bug calcul des implicites en présence d'evars dans les types | herbelin |
| 2007-05-11 | Processor integers + Print assumption (see coqdev mailing list for the | aspiwack |
| 2007-05-06 | Nouveaux changements autour des implicites (notamment suite à | herbelin |
| 2007-04-29 | Multiples changements autour des implicites : | herbelin |
| 2007-04-29 | Ajout possibilité d'options à trois mots. | herbelin |
| 2007-04-25 | New keyword "Inline" for Parameters and Axioms for automatic | soubiran |
| 2007-04-25 | (PR#1529) | soubiran |
| 2007-02-24 | Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo... | herbelin |
| 2007-02-21 | Removed some useless code in mod_typing that was redundant with safe_typing. | soubiran |
| 2007-02-07 | Correction bug #1364 (les variables de section sont repérées par | herbelin |
| 2007-01-24 | Correction bug #1333 (test non récursivité des dépendances en d'autres | herbelin |
| 2007-01-10 | 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 |
| 2006-12-28 | Cleaning backtracking code, optimized "Backtrack n x y" when n is | courtieu |
| 2006-12-12 | Correction bug #1041 (double cause : non évitement des noms existants en | herbelin |
| 2006-12-09 | Évitement noms de constructeurs dans les motifs de filtrage de "match" (suite) | herbelin |
| 2006-11-06 | Changement du magic number | notin |
| 2006-10-28 | Extension du polymorphisme de sorte au cas des définitions dans Type. | herbelin |
| 2006-10-09 | Ajout combinateurs option_fold_left et name_fold_map | herbelin |
| 2006-09-12 | Indentation + svnprop | notin |
| 2006-09-01 | Indentation + typo | notin |
| 2006-08-31 | Un peu de delta-réduction... | herbelin |
| 2006-07-27 | Correction du bug #1170: les options synchronisées déclarées dans une sect... | notin |
| 2006-07-13 | Nombre magique pour la 8.1beta | herbelin |
| 2006-05-30 | Correction bug #990 (LoadPath et option -R de coqide | notin |
| 2006-05-23 | 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-04-28 | r8931@thot: notin | 2006-04-28 16:19:38 +0200 | notin |
| 2006-04-27 | Standardisation nom option_app en option_map | herbelin |
| 2006-04-27 | Ajout chop_dirpath | herbelin |
| 2006-04-24 | Changement anomaly en failwith dans out_name pour utilisation par map_succeed | herbelin |
| 2006-04-16 | Nouveau mécanisme pour les modules interactifs : les arguments de | herbelin |
| 2006-04-15 | Inversion de l'ordre de chargement des objets logiques et non logiques | herbelin |
| 2006-03-29 | Ajout array_fold_map', list_fold_map' et list_remove_first | herbelin |
| 2006-03-17 | Modification des propriétés (svn:executable) | notin |
| 2006-01-29 | Ajout syntaxe concrète Proposition, synonyme de Lemma | herbelin |
| 2006-01-28 | Réorganisation de la structure interne des types de déclarations (decl_kinds) | herbelin |
