summaryrefslogtreecommitdiffstats
path: root/math/coq
Commit message (Expand)AuthorAgeFilesLines
* Fix packagingvs2005-01-182-8/+7
* - Unbreak on amd64sem2004-12-201-2/+1
* Mark broken on ia64 and amd64.tobez2004-11-291-0/+4
* - Add optional CoqIde support (depends on lablgtk2)pav2004-11-083-58/+69
* Add coq, a formal proof management system: a proof done with Coq ispav2004-10-164-0/+597
OpenPOWER on IntegriCloud