unfolding-function #4

Merged

bjoernf merged 7 commits from unfolding-function into master 2024-01-20 20:54:56 +00:00

Conversation 0 Commits 7 Files Changed 7 +68 -23

7 Commits

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