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

	Name	Last modified	Size	Description
	Parent Directory		-
	HEAD	2021-12-09 21:53	236
	index.d.ts	2021-12-09 21:53	164K
	jsxgraph.css	2021-12-09 21:53	3.1K
	jsxgraph.js	2021-12-09 21:53	2.9M
	jsxgraphcore.js	2021-12-09 21:53	713K