Tue, 04 Feb 2020 17:11:54 +0100 | lucin: rename central structure to Lucin | file | diff | annotate |
Fri, 17 Jan 2020 13:14:11 +0100 | lucin: introduce Calc.T and Program.T | file | diff | annotate |
Wed, 15 Jan 2020 12:12:44 +0100 | lucin: rename fun *2 to fun * with expectation to unify fun * with fun *1 | file | diff | annotate |
Fri, 29 Nov 2019 15:22:29 +0100 | lucin: fun determine_next_tactic gets envisaged arguments | file | diff | annotate |
Thu, 07 Nov 2019 10:43:32 +0100 | lucin: renaming for paper | file | diff | annotate |
Thu, 17 Oct 2019 13:17:48 +0200 | lucin: cleanup args in lucas-interpreter, preps | file | diff | annotate |
Thu, 04 Jul 2019 15:13:30 +0200 | lucin: tuned | file | diff | annotate |
Fri, 10 May 2019 15:59:58 +0200 | funpack: release sequence-relation between method's itm list and partial_function's arg list | file | diff | annotate |