Build The VDM Pretty Printer (Nov 4, 2020 10:29:03 AM)

	No changes. Changes in dependency The Overture Abstract Syntax Tree #277 → #278 (detail)
	Task Scanner: 6 open tasks in 4 workspace files.