| Commit message (Expand) | Author | Age |
|---|
| * | Updated all headers for 8.3 and trunk |  herbelin | 2010-07-24 |
| * | Remove the svn-specific $Id$ annotations |  letouzey | 2010-04-29 |
| * | Util: remove list_split_at which is a clone of list_chop | letouzey | 2010-04-16 |
| * | Continuing r12485-12486 (cleaning around name generation) | herbelin | 2009-12-01 |
| * | A bit of cleaning around name generation + creation of dedicated file namegen.ml | herbelin | 2009-11-09 |
| * | Local/Global revision 12418 continued | herbelin | 2009-10-26 |
| * | New cleaning phase of the Local/Global option management | herbelin | 2009-10-26 |
| * | Improved the treatment of Local/Global options (noneffective Local on | herbelin | 2009-10-25 |
| * | This big commit addresses two problems: |  soubiran | 2009-10-21 |
| * | Remove useless Liboject.export_function field |  glondu | 2009-09-17 |
| * | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
| * | Death of "survive_module" and "survive_section" (the first one was | herbelin | 2009-08-13 |
| * | - Cleaning phase of the interfaces of libnames.ml and nametab.ml | herbelin | 2009-08-06 |
| * | Prevent automatic inference of implicit arguments when the auto flag is |  msozeau | 2009-06-01 |
| * | Fix implicit args code so that declarations are added for all | msozeau | 2009-05-27 |
| * | Stop using a "Manual Implicit Arguments" flag and support them as soon | msozeau | 2009-05-27 |
| * | Rewrite of Program Fixpoint to overcome the previous limitations: | msozeau | 2009-03-28 |
| * | Petit nettoyage faisant suite au commit #11847 . |  aspiwack | 2009-01-23 |
| * | In manual implicit arguments mode, do not enrich implicits | msozeau | 2008-09-14 |
| * | broke cyclic dependencies |  barras | 2008-07-24 |
| * | Correct implementation of discharging of implicit arguments and add new | msozeau | 2008-07-22 |
| * | Fix implicit arguments in sections bug and check for resolution of evars when | msozeau | 2008-07-07 |
| * | Fixes in handling of implicit arguments: | msozeau | 2008-07-04 |
| * | - Un peu de doc, préparation du CHANGES pour la release. | herbelin | 2008-04-15 |
| * | Add the ability to specify the implicit status of section variables and | msozeau | 2008-04-02 |
| * | Do a second pass on the treatment of user-given implicit arguments. Now | msozeau | 2008-03-15 |
| * | - Documentation des nouvelles options d'implicites (Set Strongly Strict | herbelin | 2008-02-06 |
| * | 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 |
| * | Factorisation des opérations sur le type option de Util dans un module | aspiwack | 2007-12-05 |
| * | 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 |
| * | Nouveaux changements autour des implicites (notamment suite à | herbelin | 2007-05-06 |
| * | Multiples changements autour des implicites : | herbelin | 2007-04-29 |
| * | Suite commit restructuration discharge (application du type de | herbelin | 2007-01-10 |
| * | Nouvelle approche pour le discharge modulaire | herbelin | 2007-01-10 |
| * | Évitement noms de constructeurs dans les motifs de filtrage de "match" (suite) | herbelin | 2006-12-09 |
| * | Extension du polymorphisme de sorte au cas des définitions dans Type. | herbelin | 2006-10-28 |
| * | Nouvelle implantation du polymorphisme de sorte pour les familles inductives | herbelin | 2006-05-23 |
| * | Ajout array_fold_map', list_fold_map' et list_remove_first | herbelin | 2006-03-29 |
| * | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin | 2005-12-26 |
| * | Nettoyage suite à la détection par défaut des variables inutilisées par o... | herbelin | 2005-11-08 |
| * | Moving centralised discharge into dispatched discharge_function; required to ... | herbelin | 2005-02-18 |
| * | HUGE COMMIT |  sacerdot | 2005-01-03 |
| * | IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name). | sacerdot | 2004-11-16 |
| * | Nouvelle en-tête | herbelin | 2004-07-16 |
| * | Deplacement de iter_constr_with_full_binders dans Termops | herbelin | 2003-10-22 |
| * | Correction du bug 335 et Export/Require Export dans un module |  coq | 2003-10-07 |
| * | Utilisation de noms dans 'Implicit Arguments [...]' | herbelin | 2003-09-23 |
| * | Mise en place d'implicites par noms en v8 | herbelin | 2003-09-21 |
herbelin
letouzey
soubiran
glondu
msozeau
aspiwack
barras
sacerdot
coq