| Tue, 28 Apr 2020 15:31:49 +0200 | assign code from Rtools to appropriate struct.s | file | diff | annotate |
| Fri, 24 Apr 2020 08:51:05 +0200 | separate struct.Error_Pattern, rename identifiers | file | diff | annotate |
| Wed, 22 Apr 2020 16:01:53 +0200 | use "Check_Unique" for renaming identifiers | file | diff | annotate |
| Wed, 22 Apr 2020 14:36:27 +0200 | use "Spec", "Problem", "Method" for renaming identifiers | file | diff | annotate |
| Tue, 21 Apr 2020 12:26:08 +0200 | use "Store" for renaming identifiers | file | diff | annotate |
| Tue, 21 Apr 2020 10:53:04 +0200 | derive Method.T from Meth_Def.T, drop funs and types used by Know_Store | file | diff | annotate |
| Mon, 20 Apr 2020 16:47:01 +0200 | rename remaining struct.s Celem5..Celem8 | file | diff | annotate | base |