Walther Neuper <walther.neuper@jku.at> [Wed, 11 Mar 2020 15:25:52 +0100] rev 59827
start formally checked documentation with Lucas_Interpreter
note: the text is a partial copy from the IJCAR/ThEdu'20 paper
Walther Neuper <walther.neuper@jku.at> [Tue, 10 Mar 2020 13:25:00 +0100] rev 59826
tuned
Walther Neuper <walther.neuper@jku.at> [Sat, 07 Mar 2020 18:44:31 +0100] rev 59825
cleanup tac_from_prog, end
Walther Neuper <walther.neuper@jku.at> [Sat, 07 Mar 2020 17:53:32 +0100] rev 59824
prep. cleanup of tac_from_prog
Walther Neuper <walther.neuper@jku.at> [Sat, 07 Mar 2020 17:11:55 +0100] rev 59823
cleanup LItool, begin
Walther Neuper <walther.neuper@jku.at> [Sat, 07 Mar 2020 15:37:37 +0100] rev 59822
further separate specify- and solve-phase
Walther Neuper <walther.neuper@jku.at> [Sat, 07 Mar 2020 14:18:11 +0100] rev 59821
drop update_ctxt (1st step of respective cleanup of ctree write-access)
Walther Neuper <walther.neuper@jku.at> [Sat, 07 Mar 2020 11:54:13 +0100] rev 59820
cleanup ctxt: replace Ctree.update_ctxt by Ctree.cupdate_problem
Walther Neuper <walther.neuper@jku.at> [Wed, 04 Mar 2020 17:48:37 +0100] rev 59819
cleanup ctxt: ctxt_specify goes via cappend_problem
Walther Neuper <walther.neuper@jku.at> [Wed, 04 Mar 2020 15:41:32 +0100] rev 59818
tuned