Walther Neuper <walther.neuper@jku.at> [Fri, 24 Apr 2020 09:01:48 +0200] rev 59910
tuned
Walther Neuper <walther.neuper@jku.at> [Fri, 24 Apr 2020 08:51:05 +0200] rev 59909
separate struct.Error_Pattern, rename identifiers
Walther Neuper <walther.neuper@jku.at> [Thu, 23 Apr 2020 15:48:31 +0200] rev 59908
separate struct.State_Steps, rename
Walther Neuper <walther.neuper@jku.at> [Thu, 23 Apr 2020 12:34:54 +0200] rev 59907
use "Derive" for renaming identifiers
Walther Neuper <walther.neuper@jku.at> [Thu, 23 Apr 2020 09:29:56 +0200] rev 59906
separate struct. Derive
Walther Neuper <walther.neuper@jku.at> [Wed, 22 Apr 2020 16:53:03 +0200] rev 59905
cleanup Celem
Walther Neuper <walther.neuper@jku.at> [Wed, 22 Apr 2020 16:01:53 +0200] rev 59904
use "Check_Unique" for renaming identifiers
Walther Neuper <walther.neuper@jku.at> [Wed, 22 Apr 2020 14:36:27 +0200] rev 59903
use "Spec", "Problem", "Method" for renaming identifiers
Walther Neuper <walther.neuper@jku.at> [Wed, 22 Apr 2020 11:23:30 +0200] rev 59902
rename file according to struct.; start renaming with "Spec"
Walther Neuper <walther.neuper@jku.at> [Wed, 22 Apr 2020 11:06:48 +0200] rev 59901
shift Unsynchronized.ref for tracing to respect.struct.