| Tue, 05 May 2020 13:33:23 +0200 | assign code struct.O_Model and I_Model, part 1 | file | diff | annotate |
| Fri, 01 May 2020 15:28:40 +0200 | separate Solve_Step.check, repair ALL of Test_Isac_Short | file | diff | annotate |
| Wed, 29 Apr 2020 12:30:51 +0200 | prep. separation of check Applicable between specify-phase and solve-phase | file | diff | annotate |
| Mon, 27 Apr 2020 12:36:21 +0200 | separate struct.Subst, rename idenfitiers | file | diff | annotate |
| Fri, 24 Apr 2020 08:51:05 +0200 | separate struct.Error_Pattern, rename identifiers | file | diff | annotate | base |
| Wed, 08 Apr 2020 12:32:51 +0200 | use new struct "Rule_Set" for renaming identifiers | file | diff | annotate |
| Wed, 01 Apr 2020 10:24:13 +0200 | renaming, cleanup | file | diff | annotate |
| Tue, 31 Mar 2020 15:43:33 +0200 | renaming, cleanup | file | diff | annotate |
| Sat, 07 Mar 2020 15:37:37 +0100 | further separate specify- and solve-phase | file | diff | annotate | base |