aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/PrintInfos.v
Commit message (Expand)AuthorAge
* Fix issues in test-suite revealed by warnings.Gravatar Maxime Dénès2016-06-29
* About now accepts hypothesis names and goal selector.Gravatar Pierre Courtieu2014-12-15
* Upgrading output tests.Gravatar Hugo Herbelin2014-08-12
* Fixing superflous newline in output of About when no parameter is renamed.Gravatar herbelin2011-12-04
* or_introl is now too complicated for basic tests of test-suite/output/PrintIn...Gravatar pboutill2011-07-26
* Added multiple implicit arguments rules per name.Gravatar herbelin2010-10-03
* Making display of various informations about constants more modular:Gravatar herbelin2010-10-03