|
|
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 |
|
Maximilian Keßler
|
d336dde3d8
|
add test files for packages (not finished yet)
|
2021-10-07 13:55:39 +02:00 |
|
