Changes

Summary

[maven-release-plugin] prepare for next development iteration (details)
Require Overture 2.5.0 (details)
Require Overture 2.5.2 (details)
Add version 0.1.14 release notes (details)
Prepare release of VDM2C 0.1.14 (details)
[maven-release-plugin] prepare release Release/0.1.14 (details)

Commit b272af830c7dec8fe99fd79084dd8f270ad14709 by jenkins [maven-release-plugin] prepare for next development iteration Bump ide/ to version 0.1.13-SNAPSHOT
	core/pom.xml (diff)
	ide/features/pom.xml (diff)
	c/pom.xml (diff)
	ide/features/cgen/feature.xml (diff)
	ide/cgen/pom.xml (diff)
	core/vdm2c/pom.xml (diff)
	c/vdmclib/pom.xml (diff)
	ide/repository/pom.xml (diff)
	ide/features/cgen/pom.xml (diff)
	ide/cgen/META-INF/MANIFEST.MF (diff)
	ide/pom.xml (diff)
	pom.xml (diff)
Commit 0809a87eb3bb0afa8d9857431ab1b210aa50d2fb by Peter W. V. Tran-Jørgensen Require Overture 2.5.0 Closes #112
	ide/cgen/META-INF/MANIFEST.MF (diff)
Commit 15db4d1d0eabeb75066b380b655ce219fef76f97 by Peter W. V. Tran-Jørgensen Require Overture 2.5.2 Closes #113
	ide/cgen/META-INF/MANIFEST.MF (diff)
	pom.xml (diff)
Commit 01cf786535e4c0cf21d4f175bdf90eee4590f019 by Peter W. V. Tran-Jørgensen Add version 0.1.14 release notes
	release/ReleaseNotes_0.1.14.md
Commit ccb635779f3ca0bc927450ef6853a4f64f25fc93 by Peter W. V. Tran-Jørgensen Prepare release of VDM2C 0.1.14
	overture.release.properties (diff)
Commit 0443ee80208e4328efc4e2df4ea190371e66ff58 by jenkins [maven-release-plugin] prepare release Release/0.1.14 Bump ide/ to version 0.1.14
	c/pom.xml (diff)
	ide/repository/pom.xml (diff)
	ide/features/pom.xml (diff)
	ide/features/cgen/feature.xml (diff)
	c/vdmclib/pom.xml (diff)
	ide/cgen/pom.xml (diff)
	core/pom.xml (diff)
	ide/cgen/META-INF/MANIFEST.MF (diff)
	ide/pom.xml (diff)
	core/vdm2c/pom.xml (diff)
	ide/features/cgen/pom.xml (diff)
	pom.xml (diff)