index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
output
/
Arguments_renaming.out
Commit message (
Expand
)
Author
Age
*
Not taking arguments given by name or position into account when
Hugo Herbelin
2016-06-16
*
Do not display the status of monomorphic constants unless in universe-polymor...
Guillaume Melquiond
2015-03-09
*
Fix testsuite with respect to the new formatting of Fail messages.
Guillaume Melquiond
2015-03-05
*
Adapting output/Arguments_renaming continued.
Hugo Herbelin
2014-10-03
*
Adapting output/Arguments_renaming.out after fixing printing of
Hugo Herbelin
2014-10-02
*
Upgrading output tests.
Hugo Herbelin
2014-08-12
*
Fixing output test-suite: since universe polymorphism, the Print command
Pierre-Marie Pédrot
2014-05-08
*
Fix output test-suite 'simpl tactic' -> 'reduction tactics'
Pierre Boutillier
2014-02-28
*
test-suite fixup
pboutill
2013-11-03
*
better error message for unexpected renaming (closes #2987)
gareuselesinge
2013-07-29
*
Noise for nothing
pboutill
2012-03-02
*
Arguments: check rename even if no implicit is specified
gareuselesinge
2011-12-19
*
Command Arguments: standardizing format of error messages and American spelling.
herbelin
2011-12-17
*
Minor fixes to Arguments
gareuselesinge
2011-12-06
*
Renamig support added to "Arguments"
gareuselesinge
2011-11-21