v0.3.9

thery released this 15 Sep 15:10

· 8 commits to vscoq1 since this release

0.3.9

pass correct -topfile argument (#617 by @Blaisorblade and @4ever2)
Enable search in proofview (#616 by @4ever2)
Fix ip issues with VS Code 1.82.0 (#614 by @4ever2)

Contributors

Blaisorblade and 4ever2

Assets 2