Walther Neuper <walther.neuper@jku.at> [Fri, 29 Nov 2019 15:22:29 +0100] rev 59723
lucin: fun determine_next_tactic gets envisaged arguments
note: return value still todo
Walther Neuper <walther.neuper@jku.at> [Wed, 27 Nov 2019 18:47:26 +0100] rev 59722
lucin: push ctxt further into interpreter
Walther Neuper <walther.neuper@jku.at> [Tue, 26 Nov 2019 17:37:17 +0100] rev 59721
lucin: improve readability
Walther Neuper <walther.neuper@jku.at> [Tue, 26 Nov 2019 17:12:27 +0100] rev 59720
lucin: shift code for paper
Walther Neuper <walther.neuper@jku.at> [Tue, 26 Nov 2019 17:06:12 +0100] rev 59719
lucin: cleanup ContextC, partially
Walther Neuper <walther.neuper@jku.at> [Mon, 25 Nov 2019 16:39:52 +0100] rev 59718
lucin: renaming in scanning the parse-tree
Walther Neuper <walther.neuper@jku.at> [Thu, 21 Nov 2019 15:31:32 +0100] rev 59717
lucin: shift datatype, rename
Walther Neuper <walther.neuper@jku.at> [Thu, 21 Nov 2019 12:05:56 +0100] rev 59716
lucin: prep.to unitise handling of tactics
Walther Neuper <walther.neuper@jku.at> [Tue, 19 Nov 2019 16:18:16 +0100] rev 59715
tuned
Walther Neuper <walther.neuper@jku.at> [Tue, 19 Nov 2019 16:16:26 +0100] rev 59714
tuned