latex-packages/tests/wip
2022-01-15 15:01:31 +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