minor renaming

leouk · Jun 4, 2024 · 83e598d · 83e598d
1 parent e676836
commit 83e598d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/plugins/annotationsVDMToolkit/pom.xml b/plugins/annotationsVDMToolkit/pom.xml
@@ -9,7 +9,7 @@
 	</parent>
 
 	<artifactId>annotationsVDMToolkit</artifactId>
-	<name>AnnotationsVDMToolkit</name>
+	<name>VDM Toolkit annotations</name>
 	<description>VDM Toolkit annotations</description>
 
 	<developers>

diff --git a/plugins/vdm2isa-lsp/pom.xml b/plugins/vdm2isa-lsp/pom.xml
@@ -10,7 +10,7 @@
 	</parent>
 
 	<artifactId>vdm2isa-lsp</artifactId>
-	<name>vdm2isa-lsp</name>
+	<name>VDM to Isabelle translator LSP</name>
 	<description>VDM-SL translation to Isabelle LSP extension</description>
 
 	<developers>

diff --git a/plugins/vdm2isa/pom.xml b/plugins/vdm2isa/pom.xml
@@ -10,7 +10,7 @@
 	</parent>
 
 	<artifactId>vdm2isa</artifactId>
-	<name>vdm2isa</name>
+	<name>VDM to Isabelle translator</name>
 	<!--TODO: separate the command plugin from the LSP extension as separate projects?-->
 	<description>VDM-SL translation to Isabelle as a command plugin and VSCode LSP extension</description>