VDM 2 dafny pom integrated into VDM Toolkit build. Still to desintang…

…le class dependencies.

pom.xml

@@ -28,6 +28,7 @@
 		<module>vdmlib</module>
 		<module>vdm2isa</module>
 		<module>vdm2isa-lsp</module>
+		<module>vdm2dafny</module>
 		<!-- TODO figure out how to build Java11 for the vdm-antlr plugin
 			 now we are at Java11 but ANTLR4 requires mvn clean + mvn install (twice)?
 		<module>vdm-antlr</module>

vdm2dafny/pom.xml

@@ -2,18 +2,23 @@
 	xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd">
 	<modelVersion>4.0.0</modelVersion>
 
-
-	<groupId>aj-winstanley-dissertation</groupId>
+	<parent>
+		<groupId>vdmtoolkit</groupId>
+		<artifactId>VDMToolkit-suite</artifactId>
+		<version>${revision}</version>
+		<relativePath>../pom.xml</relativePath>
+	</parent>
 
 	<artifactId>vdm2dafny</artifactId>
-	<name>vdm2dafny</name>
-	<version>1.0.0-SNAPSHOT</version>
+	<name>VDM to Dafny translator</name>
 	<!--TODO: separate the command plugin from the LSP extension as separate projects?-->
 	<description>VDM-SL translation to Dafny as a command plugin and VSCode LSP extension</description>
 
 	<properties>
+		<!--
 		<revision>1.2.0-SNAPSHOT</revision>
 		<dk.au.ece.vdmj-version>4.5.0</dk.au.ece.vdmj-version>
+		-->
 		<maven.compiler.target>11</maven.compiler.target>
 		<maven.compiler.source>11</maven.compiler.source>
 	</properties>

vdm2isa/pom.xml

@@ -10,7 +10,7 @@
 	</parent>
 
 	<artifactId>vdm2isa</artifactId>
-	<name>VDM to Isabelle translator</name>
+	<name>VDM to Isabelle/HOL 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>