| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-10-27 | Complete overhaul of the Arguments vernacular. | Maxime Dénès |
| 2015-03-09 | Do not display the status of monomorphic constants unless in universe-polymor... | Guillaume Melquiond |
| 2015-03-05 | Fix testsuite with respect to the new formatting of Fail messages. | Guillaume Melquiond |
| 2014-08-25 | Grammar: "avoiding to" isn't proper, either | Jason Gross |
| 2014-08-12 | Upgrading output tests. | Hugo Herbelin |
| 2014-06-04 | cbn understand ! Arguments directive | Pierre Boutillier |
| 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 |
| 2012-03-02 | Noise for nothing | pboutill |
| 2012-02-14 | Arguments supports extra notation scopes | gareuselesinge |
| 2011-11-21 | New Arguments vernacular | gareuselesinge |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |