Artifacts of isabelle-all #1388

	afp/web
	heaps/polyml-5.8_x86_64_32-linux/log
	dependencies.json	Sep 23, 2019, 5:39:50 PM	60.55 KiB
	status.json	Sep 20, 2019, 3:48:15 AM	22.32 KiB
(all files in zip)