aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Arguments.out
Commit message (Expand)AuthorAge
* Complete overhaul of the Arguments vernacular.Gravatar Maxime Dénès2016-10-27
* 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
* Grammar: "avoiding to" isn't proper, eitherGravatar Jason Gross2014-08-25
* Upgrading output tests.Gravatar Hugo Herbelin2014-08-12
* cbn understand ! Arguments directiveGravatar Pierre Boutillier2014-06-04
* 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
* Noise for nothingGravatar pboutill2012-03-02
* Arguments supports extra notation scopesGravatar gareuselesinge2012-02-14
* New Arguments vernacularGravatar gareuselesinge2011-11-21