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 |