Maximilian Keßler 47e40def17 add test file showing usage of cache package		2022-02-02 17:41:02 +01:00
..
enumerate	add various shortlabels / enumerate styles to enumerate package	2021-10-26 09:43:13 +02:00
exercises	faktor: change order of optional arguments to not bother with '[' charactor after faktor	2021-10-24 21:11:34 +02:00
proof	provide proper proofdepth macro. fix subproof	2022-01-10 00:31:26 +01:00
refproof	rename new version of refproof into old name	2022-01-15 15:01:31 +01:00
restate	update gitignore	2021-10-07 18:18:43 +02:00
subproof	add subproof tests	2022-01-15 14:57:05 +01:00
Makefile	update gitignore	2021-10-07 18:18:43 +02:00
test.tex	add test file showing usage of cache package	2022-02-02 17:41:02 +01:00