Added a plugin.json for the LSP plugin

leouk · Sep 25, 2024 · 21221c9 · 21221c9
1 parent c63743e
commit 21221c9
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"
+}