aboutsummaryrefslogtreecommitdiff
path: root/math/coq/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Update to 8.2.1Johan van Selst2009-03-161-3/+3
* - Update to 8.1pl3Johan van Selst2008-04-061-3/+3
* Update to 8.1.1 (bugfix release)Johan van Selst2007-07-301-3/+3
* - Update to 8.1Johan van Selst2007-03-251-6/+3
* - Update to 8.0pl3Pav Lucistnik2006-03-161-6/+6
* Unbreak: Add vendor-patch for ocaml 3.09Volker Stolz2005-12-071-0/+3
* - Add SHA256Pav Lucistnik2005-11-251-0/+1
* Update to 8.0p2Volker Stolz2005-02-021-4/+2
* Add coq, a formal proof management system: a proof done with Coq isPav Lucistnik2004-10-161-0/+4