Build The C Code Generator VDM library sources (Nov 28, 2017 2:19:18 PM)

	Build Artifacts vdmclib-0.1.17-SNAPSHOT.jar 93.46 KB  view vdmclib-0.1.17-SNAPSHOT.pom 1.71 KB  view
	No changes.
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 1. New zero warnings highscore: no warnings for 433 days!