| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-10-03 | Adapting output/Arguments_renaming continued. | Hugo Herbelin |
| 2014-10-02 | Adapting output/Arguments_renaming.out after fixing printing of | Hugo Herbelin |
| 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 |
| 2014-02-28 | Fix output test-suite 'simpl tactic' -> 'reduction tactics' | Pierre Boutillier |
| 2013-11-03 | test-suite fixup | pboutill |
| 2013-07-29 | better error message for unexpected renaming (closes #2987) | gareuselesinge |
| 2012-03-02 | Noise for nothing | pboutill |
| 2011-12-19 | Arguments: check rename even if no implicit is specified | gareuselesinge |
| 2011-12-17 | Command Arguments: standardizing format of error messages and American spelling. | herbelin |
| 2011-12-06 | Minor fixes to Arguments | gareuselesinge |
| 2011-11-21 | Renamig support added to "Arguments" | gareuselesinge |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |