Commit graph

24 commits

Author SHA1 Message Date
fbc4fd50c8 rename new version of refproof into old name 2022-01-15 15:01:31 +01:00
4eb5d7cd9c rework of refproof as latex3 package complete. outsorced subproof properly 2022-01-15 14:56:53 +01:00
754278a807 add separate subproof package 2022-01-15 12:14:22 +01:00
4b695a6a06 rework proof package into LaTeX3 style 2022-01-15 12:06:24 +01:00
31245c6a17 use grouping in refproof package. delete wrong file 2022-01-14 20:35:54 +01:00
b36220f82a start latex3 implementation of refproof 2022-01-14 18:48:21 +01:00
70426b2d22 fix bugs in refproof 2022-01-11 22:57:37 +01:00
eb06eb8fbc provide proper proofdepth macro. fix subproof 2022-01-10 00:31:26 +01:00
0011cb2270 remove (debug) \proofdepth macro 2022-01-10 00:11:01 +01:00
c0e4705c63 fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs 2022-01-09 21:45:25 +01:00
47449c57cb fix infinite recursion bug in claim counter. fix some spacing 2022-01-09 20:20:56 +01:00
f4d079796a add explicit subproof environment 2022-01-09 15:38:26 +01:00
3d6f2501df autodetect proof depth and convert to subproof when using smart proof environment 2022-01-09 15:35:16 +01:00
23d4b92367 make plain proof and subproof available 2022-01-09 15:30:06 +01:00
bc072ff891 rename proof package to refproof 2022-01-09 14:34:42 +01:00
6ef381dc6a integrate separate dictionary for proof package 2022-01-09 14:30:58 +01:00
06965d4a3a use translation package in proof.pysty for easy translations 2022-01-09 13:11:01 +01:00
c592a7f8ac rework proof package: refproof and proof environments functional 2022-01-08 23:42:40 +01:00
0aefd5fd71 conform to uniform macro usage 2021-10-29 09:28:01 +02:00
9b279f65fd add various shortlabels / enumerate styles to enumerate package 2021-10-26 09:43:13 +02:00
ea2989d850 update exercise sheet class with english version 2021-10-14 12:59:49 +02:00
Maximilian Keßler
9f183d079b fix wrong usage of X options 2021-10-08 20:10:55 +02:00
Maximilian Keßler
92d667af95 fix error in bibliography package: use if macro 2021-10-08 16:47:13 +02:00
Maximilian Keßler
d69ab83952 rename packages folder to 'src' since it now includes classes as well 2021-10-08 16:37:35 +02:00