v0.11.7

liyishuai released this 10 Aug 12:24

· 36 commits to master since this release

a1b6f91

What's Changed

Adapt w.r.t. coq/coq#16004. by @ppedrot in #127
improved auto goal selection by @mrhaandi in #128

Full Changelog: v0.11.6...v0.11.7

Contributors

ppedrot and mrhaandi

Assets 2