Fix README to reflect it doesn't need plugin-utils anymore - Githubissues

gmalecha / coq-ltac-iter

Access hint databases from tactics.

MIT License

12 stars 3 forks source link

Fix README to reflect it doesn't need plugin-utils anymore #5

Closed jmgrosen closed 5 years ago

gmalecha commented 5 years ago

Thanks!