aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/Hints.v
Commit message (Expand)AuthorAge
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Repair two testsGravatar letouzey2012-04-12
* Try to fix the behavior of clenv_missing used when declaring hintsGravatar letouzey2011-02-22
* Some fixes of the test-suite scriptsGravatar letouzey2011-02-21
* Mainly made that evarconv is able to solve "?n = (fun x => x) ?n" (sic).Gravatar herbelin2010-06-11
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Addition of "Hint Resolve ->" and "Hint Resolve <-" continued: itGravatar herbelin2009-05-10
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Fusion entre la nouvelle et l'ancienne syntaxe de HintDestructGravatar herbelin2002-06-05
* Syntaxe des HintsGravatar herbelin2001-09-13