Maximilian Keßler 02c2acd330 remove default benchmarking in groupthm		2022-02-03 15:45:52 +01:00
..
fancythm	implement caching options and pass them to groupthm	2022-02-03 15:44:39 +01:00
groupthm	remove default benchmarking in groupthm	2022-02-03 15:45:52 +01:00
refproof	move package sources into own folders	2022-01-30 14:16:50 +01:00
thmstyle	remove old thmstyle file	2022-01-31 00:45:20 +01:00