aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/CasesDep.v
AgeCommit message (Expand)Author
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-06-06Fixing bug #2106 ("match" compilation with multi-dependent constructor).herbelin
2008-05-05Mise en place d'un algorithme d'inversion des contraintes de type lorsherbelin
2008-04-02Minor fixes. Use expanded type in class_tactics for Morphism search, tomsozeau
2007-08-10Ajout d'un exemple d'inversion des dépendances dans le prédicat commeherbelin
2005-12-21Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
2004-04-14Ajout exemple Brunoherbelin
2003-10-11Logic_TypeSyntax disparuherbelin
2003-03-29indentationherbelin
2002-12-02MAJ sur MAJherbelin
2002-12-02Remplacement de Syntactic Definition par Notationherbelin
2002-11-24Remplacement de Syntactic Definition par Notationherbelin
2002-01-16Ajout d'un test sur les anonymes dépendant dans des arguments implicitesherbelin
2002-01-15Test le filtrage dépendant vers l'avantherbelin
2001-12-19MAJ Grammarherbelin
2001-10-03Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)herbelin
2001-09-19Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...herbelin
2001-04-20Mise a la norme lexicalemohring
2001-04-20Decomposition de Casesmohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 23:13:38 +0000