Artifacts of isabelle-all #2080

	action.js	Jun 28, 2020, 12:34:50 PM	3.11 KiB
	all-packages.js	Jun 28, 2020, 12:34:50 PM	130.75 KiB
	ams.js	Jun 28, 2020, 12:34:50 PM	22.54 KiB
	amsCd.js	Jun 28, 2020, 12:34:50 PM	6.49 KiB
	autoload.js	Jun 28, 2020, 12:34:50 PM	7.11 KiB
	bbox.js	Jun 28, 2020, 12:34:50 PM	3.49 KiB
	boldsymbol.js	Jun 28, 2020, 12:34:50 PM	4.44 KiB
	braket.js	Jun 28, 2020, 12:34:50 PM	6.62 KiB
	bussproofs.js	Jun 28, 2020, 12:34:50 PM	16.46 KiB
	cancel.js	Jun 28, 2020, 12:34:50 PM	3.82 KiB
	color.js	Jun 28, 2020, 12:34:50 PM	8.61 KiB
	colorV2.js	Jun 28, 2020, 12:34:50 PM	2.59 KiB
	configMacros.js	Jun 28, 2020, 12:34:50 PM	4.23 KiB
	enclose.js	Jun 28, 2020, 12:34:50 PM	2.86 KiB
	extpfeil.js	Jun 28, 2020, 12:34:50 PM	3.88 KiB
	html.js	Jun 28, 2020, 12:34:50 PM	3.39 KiB
	mhchem.js	Jun 28, 2020, 12:34:50 PM	35.75 KiB
	newcommand.js	Jun 28, 2020, 12:34:50 PM	10.25 KiB
	noerrors.js	Jun 28, 2020, 12:34:50 PM	1.89 KiB
	noundefined.js	Jun 28, 2020, 12:34:50 PM	1.87 KiB
	physics.js	Jun 28, 2020, 12:34:50 PM	22.77 KiB
	require.js	Jun 28, 2020, 12:34:50 PM	6.07 KiB
	tagFormat.js	Jun 28, 2020, 12:34:50 PM	3.34 KiB
	unicode.js	Jun 28, 2020, 12:34:50 PM	3.93 KiB
	verb.js	Jun 28, 2020, 12:34:50 PM	3.07 KiB
(all files in zip)