aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Implicit.v
Commit message (Expand)AuthorAge
* Fixing superflous newline in output of About when no parameter is renamed.Gravatar herbelin2011-12-04
* Fixing printing bug with last trailing non-maximally implicitGravatar herbelin2011-08-10
* Nouveaux changements autour des implicites (notamment suite àGravatar herbelin2007-05-06
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* *** empty log message ***Gravatar herbelin2003-10-10