| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-05-09 | Update my email address (scripted) | Florian Franzmann |
| 2019-08-19 | coq 8.9.1 | Ismael Luceno |
| 2018-12-08 | devel/coq: version 8.8.2 | Florian Franzmann |
| 2015-06-11 | coq 8.4pl6 | Ismael Luceno |
| 2014-02-02 | devel/coq: fix detection of make during configure | Florian Franzmann |
| 2013-05-26 | devel/coq: add dependency on zarith | Florian Franzmann |
| 2012-09-09 | devel/coq: version 8.4 | Florian Franzmann |
| 2012-03-02 | devel/coq: new spell, a formal proof management system | Florian Franzmann |
 |
index : smgl/grimoire.git | |
| test grimoire | SMGL |
| summaryrefslogtreecommitdiffstats |