index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
output
/
PrintInfos.out
Age
Commit message (
Expand
)
Author
2016-06-29
Fix issues in test-suite revealed by warnings.
Maxime Dénès
2015-08-14
Revert commit 18796b6aea453bdeef1ad12ce80eeb220bf01e67, close 3080
Jason Gross
2015-03-09
Do not display the status of monomorphic constants unless in universe-polymor...
Guillaume Melquiond
2014-12-15
Adapted test file for About.
Pierre Courtieu
2014-08-12
Upgrading output tests.
Hugo Herbelin
2014-05-08
Fixing output test-suite: since universe polymorphism, the Print command
Pierre-Marie Pédrot
2013-09-03
Fixing some tests from the test-suite.
ppedrot
2013-05-09
Updating some output tests in test-suite:
herbelin
2012-01-31
Fix consequence of pp bugfix in testsuite
pboutill
2011-12-04
Fixing superflous newline in output of About when no parameter is renamed.
herbelin
2011-11-21
theories/, plugins/ and test-suite/ ported to the Arguments vernacular
gareuselesinge
2011-07-26
or_introl is now too complicated for basic tests of test-suite/output/PrintIn...
pboutill
2011-02-21
Some fixes of the test-suite scripts
letouzey
2010-10-03
Added multiple implicit arguments rules per name.
herbelin
2010-10-03
Making display of various informations about constants more modular:
herbelin
