wneuper <Walther.Neuper@jku.at> [Sat, 04 Feb 2023 17:00:25 +0100] rev 60675
eliminate use of Thy_Info 22: eliminate UnparseC.term, rename "_in_ctxt" -> ""
wneuper <Walther.Neuper@jku.at> [Sat, 04 Feb 2023 16:49:08 +0100] rev 60674
rollback
wneuper <Walther.Neuper@jku.at> [Sat, 04 Feb 2023 16:20:45 +0100] rev 60673
eliminate use of Thy_Info 21: replace Unparse.term, TermC.unparse_ERROR for far off ctxt
wneuper <Walther.Neuper@jku.at> [Sat, 04 Feb 2023 11:21:56 +0100] rev 60672
eliminate use of Thy_Info 20: cleanup Subst.*, detect design flaw in fun eval_*
wneuper <Walther.Neuper@jku.at> [Sat, 04 Feb 2023 09:47:27 +0100] rev 60671
eliminate use of Thy_Info 19: some more uses of UnparseC.term_in_ctxt
wneuper <Walther.Neuper@jku.at> [Fri, 03 Feb 2023 15:26:19 +0100] rev 60670
eliminate use of Thy_Info 18: UnparseC.terms_to_strings --> asms_test
wneuper <Walther.Neuper@jku.at> [Fri, 03 Feb 2023 12:56:05 +0100] rev 60669
eliminate use of Thy_Info 17: UnparseC.term_short --> asms_test
wneuper <Walther.Neuper@jku.at> [Fri, 03 Feb 2023 12:05:30 +0100] rev 60668
eliminate use of Thy_Info 16: eliminate UnparseC.terms in src/*, too
wneuper <Walther.Neuper@jku.at> [Tue, 31 Jan 2023 16:29:53 +0100] rev 60667
eliminate use of Thy_Info 15: UnparseC.terms --> terms_in_ctxt, only test/*
wneuper <Walther.Neuper@jku.at> [Tue, 31 Jan 2023 12:47:11 +0100] rev 60666
eliminate use of Thy_Info 14: UnparseC.term_opt ctxt