Maximilian Keßler 9f5fc84dc6 remove old file (has been moved)		2022-01-11 23:12:31 +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	remove old file (has been moved)	2022-01-11 23:12:31 +01:00
misc	rename packages folder to 'src' since it now includes classes as well	2021-10-08 16:37:35 +02:00
utils	make category definitions protected	2022-01-11 22:16:31 +01:00
wip	fix bugs in refproof	2022-01-11 22:57:37 +01:00