| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |