Build The VDM to JML Generator Runtime (Feb 9, 2021 11:47:32 AM)

	Build Artifacts vdm2jml-runtime-3.0.3-SNAPSHOT-javadoc.jar 25.23 KB  view vdm2jml-runtime-3.0.3-SNAPSHOT-sources.jar 3.78 KB  view vdm2jml-runtime-3.0.3-SNAPSHOT.jar 4.36 KB  view vdm2jml-runtime-3.0.3-SNAPSHOT.pom 2.03 KB  view
	No changes. Changes in dependency The Java Code Generator Runtime #287 → #288 (detail)
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 23. New zero warnings highscore: no warnings for 1,815 days!