Maximilian Keßler ba8092f2f6 add todo package for quick aliases of some todonotes		2022-01-10 01:07:39 +01:00
..
environments	conform to uniform macro usage	2021-10-29 09:28:01 +02:00
exercises	provide \nr{<nr>} command for starting writeup of an exercise	2021-10-16 09:01:30 +02:00
lecture-notes	make git an X option in script class	2021-12-20 14:20:16 +01:00
math	add cell operator	2021-12-19 11:01:59 +01:00
misc	rename packages folder to 'src' since it now includes classes as well	2021-10-08 16:37:35 +02:00
utils	add todo package for quick aliases of some todonotes	2022-01-10 01:07:39 +01:00
wip	provide proper proofdepth macro. fix subproof	2022-01-10 00:31:26 +01:00