|
|
fbc4fd50c8
|
rename new version of refproof into old name
|
2022-01-15 15:01:31 +01:00 |
|
|
|
b6e3cf967c
|
add subproof tests
|
2022-01-15 14:57:05 +01:00 |
|
|
|
4eb5d7cd9c
|
rework of refproof as latex3 package complete. outsorced subproof properly
|
2022-01-15 14:56:53 +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 |
|
|
|
ba8092f2f6
|
add todo package for quick aliases of some todonotes
|
2022-01-10 01:07:39 +01:00 |
|
|
|
eb06eb8fbc
|
provide proper proofdepth macro. fix subproof
|
2022-01-10 00:31:26 +01:00 |
|
|
|
f4d079796a
|
add explicit subproof environment
|
2022-01-09 15:38:26 +01:00 |
|
|
|
23d4b92367
|
make plain proof and subproof available
|
2022-01-09 15:30:06 +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 |
|
|
|
ea81a055fb
|
Merge branch 'algebraic-geometry'
|
2021-10-27 20:26:58 +02:00 |
|
|
|
64416f686e
|
add pushout and pullback symbols
|
2021-10-27 20:26:45 +02:00 |
|
|
|
9b279f65fd
|
add various shortlabels / enumerate styles to enumerate package
|
2021-10-26 09:43:13 +02:00 |
|
|
|
7116da1450
|
adjust test
|
2021-10-25 23:56:32 +02:00 |
|
|
|
356c7a3e12
|
tests for future math operators
|
2021-10-25 09:00:04 +02:00 |
|
|
|
5a7525ffa4
|
faktor: change order of optional arguments to not bother with '[' charactor after faktor
|
2021-10-24 21:11:34 +02:00 |
|
|
|
ea2989d850
|
update exercise sheet class with english version
|
2021-10-14 12:59:49 +02:00 |
|
Maximilian Keßler
|
785ad4342a
|
change some koma fonts
|
2021-10-10 13:58:17 +02:00 |
|
Maximilian Keßler
|
322a1021e3
|
adjust test
|
2021-10-10 13:53:19 +02:00 |
|
Maximilian Keßler
|
65ebc1d042
|
add test for exsheet class
|
2021-10-10 13:25:47 +02:00 |
|
Maximilian Keßler
|
645def4b8f
|
update gitignore
|
2021-10-07 18:18:43 +02:00 |
|
Maximilian Keßler
|
d336dde3d8
|
add test files for packages (not finished yet)
|
2021-10-07 13:55:39 +02:00 |
|
