Walther Neuper <walther.neuper@jku.at> [Mon, 18 May 2020 14:02:54 +0200] rev 59992
sprep.cleanup Specification, Specify
Walther Neuper <walther.neuper@jku.at> [Mon, 18 May 2020 11:58:55 +0200] rev 59991
delete unused code; + see 554030065b5b
Walther Neuper <walther.neuper@jku.at> [Mon, 18 May 2020 11:48:27 +0200] rev 59990
shift code from Specification to Specify
Walther Neuper <walther.neuper@jku.at> [Sat, 16 May 2020 16:54:39 +0200] rev 59989
shift code from Specification to P_Model, rename ids
Walther Neuper <walther.neuper@jku.at> [Sat, 16 May 2020 16:23:24 +0200] rev 59988
shift code from Specification to I_Model, rename ids
Walther Neuper <walther.neuper@jku.at> [Sat, 16 May 2020 14:04:35 +0200] rev 59987
shift code (O_Model, M_Match, Model_Pattern)
Walther Neuper <walther.neuper@jku.at> [Sat, 16 May 2020 12:40:09 +0200] rev 59986
shift code from Specification to O_Model
Walther Neuper <walther.neuper@jku.at> [Fri, 15 May 2020 19:31:04 +0200] rev 59985
shift code from Specification to References, separate References_Def
Walther Neuper <walther.neuper@jku.at> [Fri, 15 May 2020 14:22:05 +0200] rev 59984
prep. cleanup of Specification
Walther Neuper <walther.neuper@jku.at> [Fri, 15 May 2020 11:46:43 +0200] rev 59983
shift code from Specification to appropriate locations