| Commit message (Expand) | Author | Age |
|---|
| * | Correction bug 1818, 3eme commentaire. mauvaise generation de substitution a ... |  soubiran | 2008-04-03 |
| * | Add the ability to specify the implicit status of section variables and |  msozeau | 2008-04-02 |
| * | Correction d'un bug sur Import/Export : ces fonctionnalites sont gerees en-de... | soubiran | 2008-03-26 |
| * | Correction de bugs relatifs a la compostion des substitutions | soubiran | 2008-03-25 |
| * | Correction d'un bug sur les modules de la forme: | soubiran | 2008-03-20 |
| * | Do a second pass on the treatment of user-given implicit arguments. Now | msozeau | 2008-03-15 |
| * | Ajout des alias de module dans le noyau. | soubiran | 2008-03-14 |
| * | Merge with lmamane's private branch: |  lmamane | 2008-02-22 |
| * | - Documentation des nouvelles options d'implicites (Set Strongly Strict |  herbelin | 2008-02-06 |
| * | Correction d'un bug sur les substitutions: | soubiran | 2008-02-05 |
| * | declaremods.ml | soubiran | 2008-02-04 |
| * | Beaoucoup de changements dans la representation interne des modules. | soubiran | 2008-02-01 |
| * | Implicit arguments in class field declarations | msozeau | 2008-01-02 |
| * | 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 |
soubiran
msozeau
lmamane
herbelin
aspiwack
notin
courtieu