Message4980

Author silvan
Recipients malte, silvan
Date 2015-12-14.11:25:29
Content
Items B and O, the separation of TransitionSystem into several parts and a
one-shot creation with FTSFactory can be considered done with issue604.
History
Date User Action Args
2015-12-14 11:25:29silvansetmessageid: <1450088729.2.0.94695832024.issue567@unibas.ch>
2015-12-14 11:25:29silvansetrecipients: + silvan, malte
2015-12-14 11:25:29silvanlinkissue567 messages
2015-12-14 11:25:29silvancreate