about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq
AgeCommit message (Expand)AuthorFilesLines
2011-08-24Merge from trunk up through r28790Shea Levy1-4/+7
2011-04-05update coq to 8.3pl1Russell O'Connor1-3/+6
2011-01-03* Coq: fix compilation of coqide (path to lablgkt)Marco Maggesi1-1/+1
2011-01-02Fix lablgtk referenceMichael Raskin1-1/+1
2010-12-21* Sync with the trunk.Eelco Dolstra1-7/+9
2010-12-20* Update camlp5Marco Maggesi1-7/+9
2010-11-23Use a patch to fix make 3.82 build of CoqMichael Raskin2-1/+85
2010-11-04Update CoqMarco Maggesi4-71/+10
2010-09-15Change the name of the coq derivation to coq-devel-8.3pre1Marco Maggesi3-75/+2
2010-09-14Add coq-8.3rc1Marco Maggesi2-0/+73
2010-08-05Update Coq to version 8.2pl2 (patch by roconnor)Marco Maggesi1-8/+4
2010-05-18pkgs/applications/science/logic/coq: install coqide librariesPeter Simons1-1/+4
2010-05-11Add expression for Coq 8.3 betaMarco Maggesi2-0/+73
2009-11-02Updated Coq to version 8.2pl1Marco Maggesi2-11/+54
2008-06-04Added a preliminary expression for Coq (no IDE support yet).Andres Löh1-0/+23
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-16 12:15:07 +0000