4.0.0 org.overturetool ide 2.6.5-SNAPSHOT ../pom.xml eclipse-plugin org.overturetool.ide org.overture.ide.help org.overture.ide.help 3.0.2 ${project.basedir}/../.. ${repo.root}/externals/docrepo/examples ${repo.root}/externals/docrepo/documentation ${documentation.root}/QuickOverviewVDMPPOperators ${project.basedir}/html false QuickOverviewofVDMOperators.pdf ${documentation.root}/UserGuideOvertureIDE ${project.basedir}/html false OvertureIDEUserGuide.pdf ${documentation.root}/VDM10LangMan ${project.basedir}/html false VDM10_lang_man.pdf org.overturetool.build example-packager-plugin ${example-packager.version} ${project.basedir}/html Example_package_ ${examples.root}/VDMSL ${examples.root}/VDM++ ${examples.root}/VDMRT ${examples.root}/libs/ package-examples org.eclipse.m2e lifecycle-mapping 1.0.0 org.overturetool.tools.maven example-packager [1.0.1,) package-examples false org.overturetool.build example-packager-plugin [2.0.2,) package-examples