6 commits

Author	SHA1	Message	Date
Griatch	a070246123	Complete permanent->persistent rename of cmdset kwarg for consistency	2021-08-06 17:16:44 +02:00
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	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