| Commit message (Expand) | Author | Age |
|---|
| * | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... |  msozeau | 2007-12-31 |
| * | 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 |
msozeau
aspiwack
herbelin
notin
soubiran
lmamane
courtieu