aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/RecTutorial.v
Commit message (Expand)AuthorAge
* Some fixes of the test-suite scriptsGravatar letouzey2011-02-21
* Automatic introduction of names given before ":" in Lemma's andGravatar herbelin2010-06-09
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Adaptation au passage de vector dans TypeGravatar herbelin2006-05-28
* Répercussion mise à jour de Pierre Casteran vis à vis du changement de sta...Gravatar herbelin2006-01-23
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21