wneuper <Walther.Neuper@jku.at> [Sat, 26 Aug 2023 11:37:16 +0200] rev 60737
PIDE turn 11a: specify-phase works with 3 new environments from max_variant
wneuper <Walther.Neuper@jku.at> [Sat, 26 Aug 2023 10:51:35 +0200] rev 60736
prepare 17: repair Biegelinie formals and accordingly data for Formlise.model
wneuper <Walther.Neuper@jku.at> [Sun, 20 Aug 2023 08:54:01 +0200] rev 60735
rollback
wneuper <Walther.Neuper@jku.at> [Sat, 19 Aug 2023 05:06:55 +0200] rev 60734
PIDE turn 11: Test_Isac_Short works on env_mode, type env_subst and type env_eval
wneuper <Walther.Neuper@jku.at> [Fri, 18 Aug 2023 18:51:18 +0200] rev 60733
prepare 16: delete old code 2, shift feedback_to_string Pre_Conds -> I_Model
wneuper <Walther.Neuper@jku.at> [Thu, 17 Aug 2023 08:01:45 +0200] rev 60732
prepare 15: delete old code 1, repair Pre_Conds.check_envs_TEST and check_pos
wneuper <Walther.Neuper@jku.at> [Tue, 15 Aug 2023 17:44:56 +0200] rev 60731
Test_Isac_Short without errors
wneuper <Walther.Neuper@jku.at> [Tue, 15 Aug 2023 17:39:06 +0200] rev 60730
prepare 14: eliminate Pre_Conds.check in test/*
wneuper <Walther.Neuper@jku.at> [Tue, 15 Aug 2023 12:22:49 +0200] rev 60729
prepare 13: Testi_Isac_Short without errors
wneuper <Walther.Neuper@jku.at> [Fri, 04 Aug 2023 23:07:04 +0200] rev 60728
//prepare 12: Test_Theory/100-init-.. and 150a-add-.. both work with src/*