aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/setoid_test2.v
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Fix implicit arguments in sections bug and check for resolution of evars whenGravatar msozeau2008-07-07
* Various fixes:Gravatar msozeau2008-05-15
* Fix bugs that were reopened due to the change of setoidGravatar msozeau2008-03-08
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21