Unverified Commit 26d105df authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Verifpal for Visual Studio Code 1.0.1

parent 80804054
Pipeline #152 passed with stages
in 1 minute and 10 seconds
......@@ -5,6 +5,10 @@
# Change Log
## 1.0.1
- Move beyond deprecated VSCode extension APIs.
- Improve documentation.
## 1.0.0
- Add live analysis support (requires Verifpal 0.13.0 or higher).
- Add formatting support (requires Verifpal 0.13.0 or higher).
......
{
"name": "verifpal",
"displayName": "Verifpal",
"version": "1.0.0",
"version": "1.0.1",
"publisher": "symbolicsoft",
"description": "Verifpal language support.",
"author": {
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment