Commit graph

4 commits

Author SHA1 Message Date
Maximilian Keßler
3ced92d0c1 fix a bug in fancythm option 2021-09-20 12:49:28 +02:00
Maximilian Keßler
81bb3c96c8 fix autorefname of theorem in case hyperref is loaded 2021-09-12 17:56:30 +02:00
Maximilian Keßler
fbd35e8111 move proof package into wip since it is not finished 2021-09-12 13:42:24 +02:00
Maximilian Keßler
2074c541a6 move some files into subfolder 2021-09-12 13:38:00 +02:00