aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success
AgeCommit message (Collapse)Author
2002-02-28*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2500 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-25*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2438 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-21Ajout test de Pierre Crégutherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2420 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-18*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2418 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-18*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2417 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-16Ajout d'un test sur les anonymes dépendant dans des arguments implicitesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2400 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-15Test le filtrage dépendant vers l'avantherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2395 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2366 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21Ajout d'un exemple de Christineherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2365 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19MAJ Grammarherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2338 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19NatRing (2ème)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2326 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19NatRingherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2325 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19Un peu plus d'inférence des ? traitée par le Casesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2323 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-13*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2297 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-11Test des coercions dans les motifsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2284 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-21*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2238 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-21La synthèse des '?' dans l'exemple avec un let était un peu trop ambitieuse...herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2230 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-21Un bug dans le scriptherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2225 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-21Sur la cumulativité dans les tactiquesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2223 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-21Nouveaux exemplesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2222 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-20*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2215 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-16*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2196 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-08Quelques tests sur le let-inherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2173 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-15*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2121 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-15Test compatibilité V6 pour les filtrages avec let-inherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2120 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-03Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2095 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-03Tests de Cases avec définitions localesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2094 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-01Tests noms longs de modulesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2088 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-25ajout d'un fichier test pour setoidesclrenard
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2069 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Vérification de la syntaxe des optionsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2051 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Test inférence prédicat en présence d'universherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2029 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20Refine et let-infilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2012 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-19Quelques signes extérieurs de la sémantique de Remark, question visibilitéherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1997 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-19Ces fichiers décrivent des comportements peut-être souhaités mais ↵herbelin
actuellement non implantés git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1996 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-13Syntaxe des Hintsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1960 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-06-25Bug inférence du prédicat en présence de K-rédexherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1804 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-06-15Fix d'un bug de Tautodelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1787 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-06-05Ajout de deux anciens bugsdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1779 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-12Oubli d'hypotheses pour faire fonctionner les exemplesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1748 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-05-12Oubli d'hypotheses pour faire fonctionner les exemplesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1747 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-20test Fourier, DiscrRmayero
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1659 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-20Mise a la norme lexicalemohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1652 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-20Decomposition de Casesmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1651 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-20*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1648 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-20Tests pour Field avec les nombres reelsdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1644 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-20Ajout de la ligne d'etat pour CVSdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1643 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-11Bug rapporte par Randy en Mars 2000herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1576 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-03-15entetesfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1469 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-03-14*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1463 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-03-14Ajout syntaxe zarithherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1462 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-24 18:49:47 +0000