search

aya-prover / aya-vscode

~ VSCode extension for Aya Prover
GNU General Public License v3.0
7 stars 2 forks source link

Show messages in a webview? #23

Open ice1000 opened 2 years ago

ice1000 commented 2 years ago

https://code.visualstudio.com/api/extension-guides/webview