log

age author description
Wed, 08 Jun 2011 12:00:40 +0200 Thomas Wuerthinger Merge.
Wed, 08 Jun 2011 11:59:54 +0200 Thomas Wuerthinger Added new duplication phase (for verification). Fixes in Node.copy method implementations.
Wed, 08 Jun 2011 11:35:18 +0200 Thomas Wuerthinger Renamed and moved phase subclasses.