3 commits

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