Index of /~michael/jsxgraph-nightly/2021-12-22.2100

	Name	Last modified	Size	Description
	Parent Directory		-
	HEAD	2021-12-22 21:53	237
	jsxgraph.css	2021-12-22 21:53	3.1K
	index.d.ts	2021-12-22 21:53	164K
	jsxgraphcore.js	2021-12-22 21:53	712K
	jsxgraph.js	2021-12-22 21:53	3.0M