Marco Maggesi
|
c0f343b752
|
Update Coq to version 8.2pl2 (patch by roconnor)
svn path=/nixpkgs/trunk/; revision=22971
|
2010-08-05 18:44:42 +00:00 |
|
Peter Simons
|
1295493b18
|
pkgs/applications/science/logic/coq: install coqide libraries
Patch courtesy of Russell O'Connor.
svn path=/nixpkgs/trunk/; revision=21838
|
2010-05-18 13:40:19 +00:00 |
|
Marco Maggesi
|
afbb01c90d
|
Add expression for Coq 8.3 beta
svn path=/nixpkgs/trunk/; revision=21734
|
2010-05-11 20:14:46 +00:00 |
|
Marco Maggesi
|
a0207b3dc7
|
Updated Coq to version 8.2pl1
svn path=/nixpkgs/trunk/; revision=18069
|
2009-11-02 11:44:27 +00:00 |
|
Andres Löh
|
12ca68d114
|
Added a preliminary expression for Coq (no IDE support yet).
svn path=/nixpkgs/trunk/; revision=11983
|
2008-06-04 15:10:05 +00:00 |
|