Unverified Commit 41077f21 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Verifpal for Visual Studio Code 1.0.8

parent 50fd0b2a
Pipeline #198 passed with stages
in 56 seconds
......@@ -5,6 +5,9 @@
# Change Log
## 1.0.8
- Fix a typo.
## 1.0.7
- Add support for the new `BLIND` and `UNBLIND` primitives.
......
{
"name": "verifpal",
"displayName": "Verifpal",
"version": "1.0.7",
"version": "1.0.8",
"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