| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-11-02 | Updated Coq to version 8.2pl1 | Marco Maggesi |
| 2008-06-04 | Added a preliminary expression for Coq (no IDE support yet). | Andres Löh |
 |
index : nixpkgs | |
| Contrib clone of nixpkgs | matthias |
| summaryrefslogtreecommitdiffstats |