Index of /~michael/jsxgraph-nightly/2022-12-01.2100

	Name	Last modified	Size	Description
	Parent Directory		-
	HEAD	2022-12-01 21:58	236
	index.d.ts	2022-12-01 21:58	198K
	jsxgraph.css	2022-12-01 21:58	3.2K
	jsxgraph.js	2022-12-01 21:58	3.1M
	jsxgraphcore.js	2022-12-01 21:58	749K