7 commits

Author	SHA1	Message	Date
Griatch	dca88243f4	Clean up develop doc build to avoid clashes	2020-10-19 22:40:43 +02:00
Griatch	9ce52291be	Fixed all errors in doc building	2020-07-11 00:27:10 +02:00
Griatch	70ab2cf427	Fix all failing links and warnings	2020-07-09 00:06:50 +02:00
Griatch	d6738075ad	Made a lot of progress on the search tutorial	2020-07-08 00:14:37 +02:00
Griatch	b96b43aa0b	Finished typeclass docs	2020-07-06 00:05:15 +02:00
Griatch	216485cb26	Further updates	2020-07-03 22:32:50 +02:00
Griatch	87aa80d868	Continued with adding commands	2020-07-03 01:00:13 +02:00