search

coq-community / vsc-conceal

Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
MIT License
54 stars 6 forks source link

Update documentation #23

Closed rtetley closed 1 year ago

rtetley commented 1 year ago

Update documentation to include build instructions, new maintainer info, publishing to vscode set up and ci badges