Merge branch 'development' of https://github.com/leouk/VDM_Toolkit in…

…to development * 'development' of https://github.com/leouk/VDM_Toolkit: Added a plugin.json for the LSP plugin
leouk · Sep 26, 2024 · ac66d33 · ac66d33
2 parents c27926f + 21221c9
commit ac66d33
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/vdm2isa-lsp/src/main/resources/META-INF/plugin.json b/vdm2isa-lsp/src/main/resources/META-INF/plugin.json
@@ -0,0 +1,6 @@
+{
+    "name": "vdm2isa",
+    "description": "Isabelle translation plugin",
+    "dialects": [ "vdmsl" ],
+    "precision": "standard"
+}