| Age | Commit message (Expand) | Author |
|---|
| 2008-04-30 | Réutilisation de l'infrastructure pour le polymorphisme d'univers des | herbelin |
| 2008-04-28 | Suite commit 10861 | herbelin |
| 2008-04-28 | Petites corrections vis à vis des commits 10860, 10859, 10850 | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-04-04 | Mise en place d'une extension de apply pour que celui-ci sache | herbelin |
| 2008-03-10 | Une passe sur l'unification des evars (suite aux commits 10124, 10125, 10145) | herbelin |
| 2007-12-07 | Util.option_compare devient Option.Misc.Compare et change un peu de type | aspiwack |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
| 2007-09-06 | Uniformisation politique de nommage evd/isevars (evd si evar_defs, | herbelin |
| 2007-05-29 | Correction d'un bug dans l'affichage du message d'erreur real_clean | herbelin |
| 2007-04-28 | Correction bug #1519 | herbelin |
| 2007-03-15 | Suppression argument pattern_source du case_info (code jamais utilisé) | herbelin |
| 2007-01-31 | Correction d'un bug dans check_and_clear_in_constr + simplification de | notin |
| 2007-01-30 | Nouvelle implantation de clear_hyps | notin |
| 2007-01-22 | Correction du bug #1315: | notin |
| 2006-10-30 | Débranchement du polymorphisme de sorte sur les définitions dans Type | herbelin |
| 2006-10-29 | Compatibilité du polymorphisme de constantes avec les sections. | herbelin |
| 2006-10-28 | Extension du polymorphisme de sorte au cas des définitions dans Type. | herbelin |
| 2006-10-03 | Changement de comportement du [rewrite ... in H]: Coq échoue si H | notin |
| 2006-09-20 | Declarative Proof Language: main commit | corbinea |
| 2006-05-28 | - Indtypes: en attente opinion CoRN, les occurrences de Type non explicites | herbelin |
| 2006-04-11 | patch pour contourner l'échec de type_of_applied_inductive sur un inductif a... | herbelin |
| 2006-03-29 | Inductifs avec polymorphisme de sorte (version initiale) | herbelin |
| 2006-03-24 | Patch envoy\'e par Benjamin Gregoire, permettant de corriger | letouzey |
| 2006-03-01 | Correction bug #842 (rename d'une hyp du contexte) | herbelin |
| 2005-12-17 | Création d'un type d'erreur RecursionSchemeError distinct de InductiveError ... | herbelin |
| 2005-12-02 | Changement des named_context | gregoire |
| 2005-10-27 | catchable_exception laisse passer les InductiveError | werner |
| 2005-07-13 | Correction double bug #986: Fold ne préserve pas nécessairement le typage e... | herbelin |
| 2005-05-28 | unification: evar_define checks the free variables are bound in the evar context | barras |
| 2005-03-19 | Correction erreur grossière de non restauration d'état en cas de retour exc... | herbelin |
| 2004-09-17 | restructuration des printers: proofs passe avant parsing | barras |
| 2004-09-10 | When refining a given term, the primitive refiner used to accepts some casts, | sacerdot |
| 2004-09-03 | deplacement de clenv vers pretyping | barras |
| 2004-09-03 | premiere reorganisation de l\'unification | barras |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2003-09-12 | open superflu | herbelin |
| 2003-04-07 | Affichage des tactiques en v8 | herbelin |
| 2003-04-07 | Globalisation des noms de tactiques dans les définitions de tactiques | herbelin |
| 2003-02-08 | Bug Rename | herbelin |
| 2002-12-21 | Légère amélioration des messages d'erreur des with-bindings et des Rewrite | herbelin |
| 2002-12-09 | Option pour rendre les vérifications du refiner optionnelle | herbelin |
| 2002-06-13 | Bug non vérification non redondance par Cut | herbelin |
| 2002-05-29 | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin |
| 2002-04-12 | q: Commande introuvable. | herbelin |
| 2002-03-27 | Simplification de Proof_type.prim_rule | herbelin |
| 2002-03-07 | Clear ne substitue plus le corps dans le reste du but | barras |
| 2002-02-28 | Uniformisation convert_hyp | herbelin |
| 2002-02-22 | suppression de pop_named | barras |
| 2002-02-15 | petits changements cosmetiques sur les tactiques | barras |
