Author florian
Recipients florian, jendrik, malte
Date 2017-12-01.08:27:21
The initial state data is stored globally without axioms evaluated and is
accessed when constructing state registries in a very intricate way where the
task constructs a StateRegistry that accesses the task itself but gets the state
data on a separate channel to avoid an endless loop (see msg5101 and issue509).
Date User Action Args
2017-12-01 08:27:21floriansetmessageid: <>
2017-12-01 08:27:21floriansetrecipients: + florian, malte, jendrik
2017-12-01 08:27:21florianlinkissue753 messages
2017-12-01 08:27:21floriancreate