 bjoernf
|
76c7f414ef
|
changed formatting
|
2024-01-20 21:51:07 +01:00 |
|
|
bjoernf
|
3252bf67ae
|
corrected comment
|
2024-01-20 21:06:09 +01:00 |
|
|
bjoernf
|
ff20bb92f7
|
dont put field name summary into summary field
|
2024-01-20 21:00:18 +01:00 |
|
|
bjoernf
|
7a5b3bc97a
|
added space folded test case and improved unfolding function
|
2024-01-20 20:44:15 +01:00 |
|
|
bjoernf
|
b2a2d09a92
|
improved folding function
|
2024-01-20 20:38:23 +01:00 |
|
|
bjoernf
|
f874fb99a6
|
still messy
|
2024-01-20 20:28:28 +01:00 |
|
|
bjoernf
|
ecfae506c9
|
unfolding doesnt work correctly
|
2024-01-20 19:19:39 +01:00 |
|