aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/Case12.v
Commit message (Expand)AuthorAge
* - Correction bug calcul mind_consnrealargs, introduit à la révisionGravatar herbelin2006-03-22
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Test compatibilité V6 pour les filtrages avec let-inGravatar herbelin2001-10-15
* Tests de Cases avec définitions localesGravatar herbelin2001-10-03