aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/PrintInfos.out
Commit message (Expand)AuthorAge
* Fix issues in test-suite revealed by warnings.Gravatar Maxime Dénès2016-06-29
* Revert commit 18796b6aea453bdeef1ad12ce80eeb220bf01e67, close 3080Gravatar Jason Gross2015-08-14
* Do not display the status of monomorphic constants unless in universe-polymor...Gravatar Guillaume Melquiond2015-03-09
* Adapted test file for About.Gravatar Pierre Courtieu2014-12-15
* Upgrading output tests.Gravatar Hugo Herbelin2014-08-12
* Fixing output test-suite: since universe polymorphism, the Print commandGravatar Pierre-Marie Pédrot2014-05-08
* Fixing some tests from the test-suite.Gravatar ppedrot2013-09-03
* Updating some output tests in test-suite:Gravatar herbelin2013-05-09
* Fix consequence of pp bugfix in testsuiteGravatar pboutill2012-01-31
* Fixing superflous newline in output of About when no parameter is renamed.Gravatar herbelin2011-12-04
* theories/, plugins/ and test-suite/ ported to the Arguments vernacularGravatar gareuselesinge2011-11-21
* or_introl is now too complicated for basic tests of test-suite/output/PrintIn...Gravatar pboutill2011-07-26
* Some fixes of the test-suite scriptsGravatar letouzey2011-02-21
* Added multiple implicit arguments rules per name.Gravatar herbelin2010-10-03
* Making display of various informations about constants more modular:Gravatar herbelin2010-10-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-02 19:54:48 +0000