log

age author description
Wed, 01 Apr 2015 19:30:25 +0200 Thomas Wuerthinger Merge.
Wed, 01 Apr 2015 19:30:14 +0200 Thomas Wuerthinger Fixes after introducing TypeCheckNode.
Wed, 01 Apr 2015 17:43:06 +0200 Thomas Wuerthinger Introduce TypeCheckNode.