4.0.0 org.overturetool.core codegen 3.0.2 ../pom.xml org.overturetool.core.codegen isagen The VDM to Isabelle Translator org.overturetool.core ast ${project.version} org.overturetool.core.codegen platform ${project.version} org.overturetool.core.codegen ir ${project.version} org.overturetool.core.testing framework ${project.version} test junit junit 4.11 org.jgrapht jgrapht-core 0.9.0 org.apache.maven.plugins maven-surefire-plugin true **/*Test.java **/*Test?.java **/*TestSuite.java org.apache.maven.plugins maven-javadoc-plugin ${basedir}/src/main/java org.overturetool.astcreator astcreator-plugin ${astcreator.version} generate-ast generate-sources generate ir.ast isair.ast Isa true false org.overturetool.core.codegen ir org.codehaus.mojo build-helper-maven-plugin add-source generate-sources add-source ${project.build.directory}/generated-sources/astCreator/ org.eclipse.m2e lifecycle-mapping 1.0.0 org.overturetool.astcreator astcreator-plugin ${astcreator.version} generate