Mon, 23 Dec 2019 15:41:36 +0100 | separate Step_Specify, Step_Solve, Step for do_next and by_tactic | file | diff | annotate |
Sat, 21 Dec 2019 18:05:13 +0100 | lucin: unify do_next postponed | file | diff | annotate |
Thu, 19 Dec 2019 12:40:17 +0100 | lucin: various investigations (a chaos change set) | file | diff | annotate |
Wed, 18 Dec 2019 15:33:27 +0100 | prep. intro. of Step | file | diff | annotate |