aboutsummaryrefslogtreecommitdiffstats
path: root/src/versions/native/Tactics_native.v
Commit message (Expand)AuthorAgeFilesLines
* getting rid of native-coq (#95)vblot2021-05-281-55/+0
* Update copyrightChantal Keller2021-05-261-1/+1
* Error message to state that tactics are not supported with native-coq (#47)ckeller2019-04-121-0/+55