Index of /~michael/jsxgraph-nightly/2022-05-04.2000

	Name	Last modified	Size	Description
	Parent Directory		-
	HEAD	2022-05-04 22:00	236
	jsxgraph.css	2022-05-04 22:00	3.2K
	index.d.ts	2022-05-04 22:00	168K
	jsxgraphcore.js	2022-05-04 22:00	732K
	jsxgraph.js	2022-05-04 22:00	3.0M