wneuper <Walther.Neuper@jku.at> [Fri, 27 May 2022 17:19:01 +0200] rev 60430
tuned
wneuper <Walther.Neuper@jku.at> [Fri, 27 May 2022 17:14:49 +0200] rev 60429
tuned
wneuper <Walther.Neuper@jku.at> [Fri, 27 May 2022 15:12:54 +0200] rev 60428
replace literals with constants
wneuper <Walther.Neuper@jku.at> [Fri, 27 May 2022 12:07:55 +0200] rev 60427
type check at init of Problem appears correct
wneuper <Walther.Neuper@jku.at> [Thu, 26 May 2022 12:53:13 +0200] rev 60426
tuned
wneuper <Walther.Neuper@jku.at> [Thu, 26 May 2022 12:45:00 +0200] rev 60425
merged
wneuper <Walther.Neuper@jku.at> [Thu, 26 May 2022 12:44:51 +0200] rev 60424
unify parse 6': TermC.parse eliminated, Test_Isac ok
wneuper <Walther.Neuper@jku.at> [Wed, 25 May 2022 10:37:35 +0200] rev 60423
unify parse 6: TermC.parse eliminated, Test_Isac_Short ok
wneuper <Walther.Neuper@jku.at> [Tue, 24 May 2022 16:47:31 +0200] rev 60422
unify parse 5': improved get_ctxt for appendFormula and CAS-cmd
wneuper <Walther.Neuper@jku.at> [Tue, 24 May 2022 12:57:47 +0200] rev 60421
unify parse 5: for appendFormula and CAS-cmd