| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | [pp] Make feedback the only logging mechanism. |  Emilio Jesus Gallego Arias | 2017-03-21 |
| * | Complete overhaul of the Arguments vernacular. |  Maxime Dénès | 2016-10-27 |
| * | 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 |
| * | Grammar: "avoiding to" isn't proper, either |  Jason Gross | 2014-08-25 |
| * | Upgrading output tests. |  Hugo Herbelin | 2014-08-12 |
| * | cbn understand ! Arguments directive |  Pierre Boutillier | 2014-06-04 |
| * | 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 |
| * | Noise for nothing |  pboutill | 2012-03-02 |
| * | Arguments supports extra notation scopes |  gareuselesinge | 2012-02-14 |
| * | New Arguments vernacular | gareuselesinge | 2011-11-21 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |