Artifacts of isabelle-all #1220

	afp/web
	heaps/polyml-5.8_x86_64_32-linux/log
	dependencies.json	Jul 4, 2019, 5:53:56 PM	60.20 KiB
	status.json	Jun 24, 2019, 8:45:21 AM	22.03 KiB
(all files in zip)