Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [pp] Make feedback the only logging mechanism. | 2017-03-21 | |
* | Complete overhaul of the Arguments vernacular. | 2016-10-27 | |
* | Do not display the status of monomorphic constants unless in universe-polymor... | 2015-03-09 | |
* | Fix testsuite with respect to the new formatting of Fail messages. | 2015-03-05 | |
* | Grammar: "avoiding to" isn't proper, either | 2014-08-25 | |
* | Upgrading output tests. | 2014-08-12 | |
* | cbn understand ! Arguments directive | 2014-06-04 | |
* | Fixing output test-suite: since universe polymorphism, the Print command | 2014-05-08 | |
* | Fix output test-suite 'simpl tactic' -> 'reduction tactics' | 2014-02-28 | |
* | Noise for nothing | 2012-03-02 | |
* | Arguments supports extra notation scopes | 2012-02-14 | |
* | New Arguments vernacular | 2011-11-21 |