| Fri, 24 Apr 2020 09:01:48 +0200 | tuned | file | diff | annotate |
| Sun, 19 Apr 2020 11:07:02 +0200 | switch "activate for Test_Isac .." back to Build_Isac | file | diff | annotate |
| Fri, 17 Apr 2020 18:47:29 +0200 | Test_Isac_Short OK (except the 2 strange errors) | file | diff | annotate |
| Wed, 15 Apr 2020 13:47:56 +0200 | use "ThyC" for renaming identifiers | file | diff | annotate |
| Wed, 15 Apr 2020 11:37:43 +0200 | cleanup | file | diff | annotate |
| Mon, 13 Apr 2020 18:37:24 +0200 | tuned | file | diff | annotate |
| Mon, 13 Apr 2020 18:32:01 +0200 | reorganise struct. ThmC, part 2 | file | diff | annotate |
| Mon, 13 Apr 2020 13:27:55 +0200 | improve renaming | file | diff | annotate |
| Fri, 10 Apr 2020 18:32:36 +0200 | use "UnparseC" for renaming identifiers | file | diff | annotate |
| Fri, 10 Apr 2020 15:02:50 +0200 | rename directory CalcElements to BaseDefinitions | file | diff | annotate | base |