| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Do not display the status of monomorphic constants unless in universe-polymor... |  Guillaume Melquiond | 2015-03-09 |
| * | 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 |
| * | Fixing some tests from the test-suite. |  ppedrot | 2013-09-03 |
| * | Fixing superflous newline in output of About when no parameter is renamed. |  herbelin | 2011-12-04 |
| * | theories/, plugins/ and test-suite/ ported to the Arguments vernacular |  gareuselesinge | 2011-11-21 |
| * | Documentation Prop<=Set et Arguments Scope Global | herbelin | 2008-07-01 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |