4 commits

Author	SHA1	Message	Date
Marius Drechsler	160309eff7	Work	2024-08-11 23:29:22 +02:00
Marius Drechsler	3f1c6e15a0	Not very much progress today	2024-08-08 20:50:44 +02:00
Marius Drechsler	ce74294d05	Productive day	2024-08-06 18:29:05 +02:00
Marius Drechsler	4346630b65	More on analysis	2024-07-28 19:03:18 +02:00