summaryrefslogtreecommitdiff
path: root/debian/libaac-tactics-coq.docs
Commit message (Expand)AuthorAge
* Update docs listGravatar Benjamin Barenblat2019-02-17
* Fix installed docsGravatar Nicolas Braud-Santoni2016-07-23
* Initial packagingGravatar Stephane Glondu2010-11-30