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

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