aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Update to 8.2.1johans2009-03-161-3/+3
* - Update to 8.1pl3johans2008-04-071-3/+3
* Update to 8.1.1 (bugfix release)johans2007-07-301-3/+3
* - Update to 8.1johans2007-03-261-6/+3
* - Update to 8.0pl3pav2006-03-161-6/+6
* Unbreak: Add vendor-patch for ocaml 3.09vs2005-12-071-0/+3
* - Add SHA256pav2005-11-251-0/+1
* Update to 8.0p2vs2005-02-021-4/+2
* Add coq, a formal proof management system: a proof done with Coq ispav2004-10-161-0/+4