Mon, 23 Dec 2019 16:38:09 +0100 | rm code replaced in previous change set | file | diff | annotate |
Sat, 21 Dec 2019 18:05:13 +0100 | lucin: unify do_next postponed | file | diff | annotate |
Sat, 21 Dec 2019 16:45:10 +0100 | lucin: unify do_next, partially | file | diff | annotate |
Wed, 18 Dec 2019 11:31:31 +0100 | lucin: plan for new identifiers of steps | file | diff | annotate |
Fri, 29 Nov 2019 15:22:29 +0100 | lucin: fun determine_next_tactic gets envisaged arguments | file | diff | annotate |
Wed, 27 Nov 2019 18:47:26 +0100 | lucin: push ctxt further into interpreter | file | diff | annotate |