log

age author description
Thu, 19 Nov 2015 15:58:26 +0100 Andreas Woess SourceSection: clearify string representations, add tests
Mon, 16 Nov 2015 18:00:16 +0100 Andreas Woess SpecializationNode.index can be private
Thu, 19 Nov 2015 15:51:27 +0100 Stefan Marr Added a comment with the assumptions/rational how Node.atomic() works