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

Verifpal for Visual Studio Code 1.0.4

parent abf50ab7
Pipeline #168 failed with stages
in 24 seconds
......@@ -5,6 +5,9 @@
# Change Log
## 1.0.4
- Correctly handle errors when user attempts to analyze or visualize an invalid model (due to syntax errors or similar).
## 1.0.3
- Fixed a typo.
......
{
"name": "verifpal",
"displayName": "Verifpal",
"version": "1.0.3",
"version": "1.0.4",
"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