Build The VDM to Isabelle Translator (Oct 17, 2019 12:04:39 PM)

	Build Artifacts isagen-2.7.3-SNAPSHOT.jar 105.36 KB  view isagen-2.7.3-SNAPSHOT.pom 4.31 KB  view
	Changes [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) (details) [maven-release-plugin] prepare for next development iteration (commit: 2412c37) (details)
	Test Result (no failures)