aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/univers.v
Commit message (Expand)AuthorAge
* Moving bug numbers to BZ# format in the test-suite.Gravatar Théo Zimmermann2017-10-19
* Ensuring all .v files end with a newline to make "sed -i" work better on them.Gravatar Hugo Herbelin2017-08-21
* Fix bug when a sort is ascribed to a RecordGravatar Matthieu Sozeau2016-03-15
* Kills the useless tactic annotations "in |- *"Gravatar letouzey2012-07-05
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Correction bug #1507 (report révision 9807 de v8.1 vers trunk)Gravatar herbelin2007-04-29
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Ajout test bug #935Gravatar herbelin2005-03-19
* Ajout bug #255Gravatar herbelin2004-09-24
* Il ne doit plus y avoir de preuves non terminées à la sortie du fichierGravatar herbelin2003-01-19
* Un bug dans le scriptGravatar herbelin2001-11-21
* Sur la cumulativité dans les tactiquesGravatar herbelin2001-11-21