search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
336 stars 68 forks source link

Bump version in preparation for release 2.1.1 #735

Closed rtetley closed 7 months ago