Artifacts of isabelle-all #1215

	afp/web
	heaps/polyml-5.8_x86_64_32-linux/log
	dependencies.json	Jun 22, 2019, 5:56:22 PM	59.73 KiB
	status.json	Jun 22, 2019, 3:58:56 PM	24.15 KiB
(all files in zip)