log

age author description
Thu, 04 Dec 2014 13:35:36 +0100 Andreas Woess OM: rename transitions
Thu, 04 Dec 2014 19:50:39 +0100 Andreas Woess mx: fix missing frozenset constructor to fix intersection
Thu, 04 Dec 2014 16:12:03 +0100 Doug Simon Merge.