5 commits

Author	SHA1	Message	Date
Maximilian Keßler	b9052b2168	use mkessler@ prefix for macro	2021-09-17 19:35:12 +02:00
Maximilian Keßler	0b24fe2188	first version of mkessler-proof	2021-09-12 19:59:25 +02:00
Maximilian Keßler	11e623bc06	update work, claim counters now properly working	2021-09-12 17:56:49 +02:00
Maximilian Keßler	fbd35e8111	move proof package into wip since it is not finished	2021-09-12 13:42:24 +02:00
Maximilian Keßler	d3478db1ae	move wip files into own folder	2021-09-12 13:39:08 +02:00