| Thu, 28 May 2020 12:52:25 +0200 | resolve hacks, part 2: Specify.find_next_step, Specify.by_tactic_input | file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 | standard format for string lists | file | diff | annotate |
| Sun, 10 May 2020 17:26:36 +0200 | cleanup generate.sml, model.sml | file | diff | annotate |
| Fri, 10 Apr 2020 18:32:36 +0200 | use "UnparseC" for renaming identifiers | file | diff | annotate |
| Thu, 09 Apr 2020 17:13:17 +0200 | separate struct. UnparseC, shift code to ThmC | file | diff | annotate |
| Wed, 25 Mar 2020 09:17:05 +0100 | ONE tactic per step VISIBLE in calculation | file | diff | annotate |
| Tue, 24 Mar 2020 17:01:02 +0100 | prep. ONE tactic per step VISIBLE in calculation | file | diff | annotate |
| Mon, 23 Mar 2020 14:55:34 +0100 | start restructuring test/../isac/* | file | diff | annotate |
| Thu, 19 Dec 2019 17:37:25 +0100 | lucin: unify fun.ids. for locate_input_tactic | file | diff | annotate |