aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/CasesDep.v
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Fixing bug #2106 ("match" compilation with multi-dependent constructor).Gravatar herbelin2009-06-06
* Mise en place d'un algorithme d'inversion des contraintes de type lorsGravatar herbelin2008-05-05
* Minor fixes. Use expanded type in class_tactics for Morphism search, toGravatar msozeau2008-04-02
* Ajout d'un exemple d'inversion des dépendances dans le prédicat commeGravatar herbelin2007-08-10
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Ajout exemple BrunoGravatar herbelin2004-04-14
* Logic_TypeSyntax disparuGravatar herbelin2003-10-11
* indentationGravatar herbelin2003-03-29
* MAJ sur MAJGravatar herbelin2002-12-02
* Remplacement de Syntactic Definition par NotationGravatar herbelin2002-12-02
* Remplacement de Syntactic Definition par NotationGravatar herbelin2002-11-24
* Ajout d'un test sur les anonymes dépendant dans des arguments implicitesGravatar herbelin2002-01-16
* Test le filtrage dépendant vers l'avantGravatar herbelin2002-01-15
* MAJ GrammarGravatar herbelin2001-12-19
* Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)Gravatar herbelin2001-10-03
* Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...Gravatar herbelin2001-09-19
* Mise a la norme lexicaleGravatar mohring2001-04-20
* Decomposition de CasesGravatar mohring2001-04-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-26 13:35:22 +0000