mathcoach/mathcoach-ide-api.git - Gitblit

mathcoach / mathcoach-ide-api

Öffentliche API zur MathCoach-IDE

history | zip | gz

docs: documentation entry for tool declaration

jsteuer

2020-01-21 b3b4ad4a9796bde61516402fdadd0518b7be6e60

	..			drwxr-xr-x
	MyEditor			drwxr-xr-x	tree \| history \| zip \| gz
	README.md		2 KB	-rw-r--r--	view \| raw \| blame \| history
	code_completion.png		55 KB	-rw-r--r--	view \| raw \| blame \| history