|
|
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 |
|
|
|
4b695a6a06
|
rework proof package into LaTeX3 style
|
2022-01-15 12:06:24 +01:00 |
|
