105 commits

Author	SHA1	Message	Date
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