| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | update coq to 8.3pl1 | Russell O'Connor | 2011-04-05 |
| * | * Coq: fix compilation of coqide (path to lablgkt) | Marco Maggesi | 2011-01-03 |
| * | Fix lablgtk reference | Michael Raskin | 2011-01-02 |
| * | * Sync with the trunk. | Eelco Dolstra | 2010-12-21 |
| |\ | |||
| | * | * Update camlp5 | Marco Maggesi | 2010-12-20 |
| * | | Use a patch to fix make 3.82 build of Coq | Michael Raskin | 2010-11-23 |
| |/ | |||
| * | Update Coq | Marco Maggesi | 2010-11-04 |
| * | Change the name of the coq derivation to coq-devel-8.3pre1 | Marco Maggesi | 2010-09-15 |
| * | Add coq-8.3rc1 | Marco Maggesi | 2010-09-14 |
| * | Update Coq to version 8.2pl2 (patch by roconnor) | Marco Maggesi | 2010-08-05 |
| * | pkgs/applications/science/logic/coq: install coqide libraries | Peter Simons | 2010-05-18 |
| * | Add expression for Coq 8.3 beta | Marco Maggesi | 2010-05-11 |
| * | Updated Coq to version 8.2pl1 | Marco Maggesi | 2009-11-02 |
| * | Added a preliminary expression for Coq (no IDE support yet). | Andres Löh | 2008-06-04 |