summaryrefslogtreecommitdiff
path: root/coq.ml
Commit message (Expand)AuthorAge
* New upstream version 8.8.0+1.gbp069dc3bupstream/8.8.0+1.gbp069dc3bupstreamGravatar Benjamin Barenblat2019-02-13
* New upstream version 8.6Gravatar Enrico Tassi2016-12-27
* Imported Upstream version 8.5.1Gravatar Nicolas Braud-Santoni2016-07-23
* Imported Upstream version 0.4upstream/0.4Gravatar Stephane Glondu2013-12-05
* Imported Upstream version 0.3upstream/0.3Gravatar Stephane Glondu2012-09-20
* Imported Upstream version 0.2upstream/0.2Gravatar Stephane Glondu2010-12-01
* Imported Upstream version 0.1-r13244upstream/0.1-r13244Gravatar Stephane Glondu2010-11-29