aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-09-16majcoq
2005-09-16changed the syntax categories of arguments of functional schemecoq
2005-09-15majcoq
2005-09-14majcoq
2005-09-13majcoq
2005-09-12majcoq
2005-09-11majcoq
2005-09-10majcoq
2005-09-10Petit bug Declare Implicit Tacticherbelin
2005-09-09majcoq
2005-09-09majcoq
2005-09-09Declare Implicit Tacticherbelin
2005-09-09Declare Implicit Tacticherbelin
2005-09-09Référence pour IntMapherbelin
2005-09-09Nouvelle déclaration 'Declare Implicit Tactic' pour automatiser la résoluti...herbelin
2005-09-09Conséquences nettoyage pretyping.mlherbelin
2005-09-09Léger nettoyage et uniformisation + généralisation du point d'entrée ltac...herbelin
2005-09-09Suppression code inactif et commentaire apparemment incorrect (pour éviter c...herbelin
2005-09-09Suppression test CCSolve car remplaçé par Congruence mais qui ne traite pas...herbelin
2005-09-08majcoq
2005-09-08Test clear final dans intros patternherbelin
2005-09-08Réparation bug #1000 (attendre fin de toutes les intros avant d'effacer les ...herbelin
2005-09-08Simplification message d'anomalieherbelin
2005-09-08Réparation bug #1004; nettoyageherbelin
2005-09-07majcoq
2005-09-06majcoq
2005-09-06Un vieux bug d'affichage des lieurs (cf bug #1005)herbelin
2005-09-05majcoq
2005-09-04majcoq
2005-09-03majcoq
2005-09-02majcoq
2005-09-01majcoq
2005-08-31majcoq
2005-08-30majcoq
2005-08-29majcoq
2005-08-28majcoq
2005-08-27majcoq
2005-08-26majcoq
2005-08-26*** empty log message ***letouzey
2005-08-25majcoq
2005-08-24majcoq
2005-08-23majcoq
2005-08-22majcoq
2005-08-22argument inutilisé de zip: toujours l'identitéletouzey
2005-08-21majcoq
2005-08-20majcoq
2005-08-19majcoq
2005-08-19pas besoin de List.length pour savoir si une liste est videletouzey
2005-08-19Sur le conseil de X.Leroy: x=[||] devient Array.length x=0letouzey
2005-08-18majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 06:15:28 +0000