| Wed, 08 Apr 2020 14:24:38 +0200 | separate struct ThyC | file | diff | annotate |
| Wed, 08 Apr 2020 13:21:19 +0200 | separate struct Exec_Def | file | diff | annotate |
| Wed, 08 Apr 2020 12:32:51 +0200 | use new struct "Rule_Set" for renaming identifiers | file | diff | annotate |
| Mon, 06 Apr 2020 11:44:36 +0200 | use "Rule_Set" for shorter identifiers | file | diff | annotate |
| Sat, 04 Apr 2020 12:11:32 +0200 | separate Rule_Set from Rule | file | diff | annotate |