aboutsummaryrefslogtreecommitdiff
path: root/math/coq
Commit message (Expand)AuthorAgeFilesLines
* Update to 8.0p2Volker Stolz2005-02-022-10/+5
* Fix packagingVolker Stolz2005-01-182-8/+7
* - Unbreak on amd64Sergey Matveychuk2004-12-201-2/+1
* Mark broken on ia64 and amd64.Anton Berezin2004-11-291-0/+4
* - Add optional CoqIde support (depends on lablgtk2)Pav Lucistnik2004-11-083-58/+69
* Add coq, a formal proof management system: a proof done with Coq isPav Lucistnik2004-10-164-0/+597