Build #167 (May 17, 2020 7:10:00 PM)

	Build Artifacts prettyprinter-2.7.5-SNAPSHOT.jar 11.98 KB  view prettyprinter-2.7.5-SNAPSHOT.pom 1.12 KB  view
	No changes. Changes in dependency VDM Pretty Printing  ? → (detail) The Overture Abstract Syntax Tree #165 → #167 (detail) The Overture Tool Platform root  ? → (detail) Core Tools  ? → (detail) The VDM Pretty Printer  ? → (detail)