aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/Coercions.v
AgeCommit message (Expand)Author
2019-08-26Make kernel parametric on the lowest universe and fix #9294Matthieu Sozeau
2018-12-19Put #[universes(template)] in outputs testsGaƫtan Gilbert
2010-04-10Optimized need for delimiters when disjoint scopes for strings andherbelin
2005-12-21Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
2004-06-02Ajout tests affichage coercions vers Funclassherbelin
2002-08-14Test affichage optimal des coercionsherbelin