aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Arguments_renaming.out
Commit message (Expand)AuthorAge
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Fix #5182: "Arguments names must be distinct." is bogus and underinformativeGravatar Maxime Dénès2016-11-07
* Add missing dot to impargs error message.Gravatar Maxime Dénès2016-10-27
* Complete overhaul of the Arguments vernacular.Gravatar Maxime Dénès2016-10-27
* Ignore file names in warning emitted by test-suite/output/* (#5111)Gravatar Enrico Tassi2016-09-30
* Arguments: cleanup + detect discrepancy rename/implicit (#3753)Gravatar Enrico Tassi2016-09-29
* Not taking arguments given by name or position into account whenGravatar Hugo Herbelin2016-06-16
* Do not display the status of monomorphic constants unless in universe-polymor...Gravatar Guillaume Melquiond2015-03-09
* Fix testsuite with respect to the new formatting of Fail messages.Gravatar Guillaume Melquiond2015-03-05
* Adapting output/Arguments_renaming continued.Gravatar Hugo Herbelin2014-10-03
* Adapting output/Arguments_renaming.out after fixing printing ofGravatar Hugo Herbelin2014-10-02
* Upgrading output tests.Gravatar Hugo Herbelin2014-08-12
* Fixing output test-suite: since universe polymorphism, the Print commandGravatar Pierre-Marie Pédrot2014-05-08
* Fix output test-suite 'simpl tactic' -> 'reduction tactics'Gravatar Pierre Boutillier2014-02-28
* test-suite fixupGravatar pboutill2013-11-03
* better error message for unexpected renaming (closes #2987)Gravatar gareuselesinge2013-07-29
* Noise for nothingGravatar pboutill2012-03-02
* Arguments: check rename even if no implicit is specifiedGravatar gareuselesinge2011-12-19
* Command Arguments: standardizing format of error messages and American spelling.Gravatar herbelin2011-12-17
* Minor fixes to ArgumentsGravatar gareuselesinge2011-12-06
* Renamig support added to "Arguments"Gravatar gareuselesinge2011-11-21