Build #172 (Nov 27, 2017 7:35:38 PM)

	Build Artifacts org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT-p2artifacts.xml 604 B  view org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT-p2metadata.xml 2.33 KB  view org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.jar 4.68 MB  view org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.pom 5.21 KB  view
	No changes. Changes in dependency The C Code Generator VDM library sources #171 → #172 (detail) The C Code Generator #171 → #172 (detail) The C Code Generator VDM distribution library sources #171 → #172 (detail)
	Task Scanner: 2 open tasks in 11 workspace files.