Merged with tip
authorRoland Lezuo <tbfg@complang.tuwien.ac.at>
Wed, 20 Feb 2008 00:04:22 +0000 (01:04 +0100)
committerRoland Lezuo <tbfg@complang.tuwien.ac.at>
Wed, 20 Feb 2008 00:04:22 +0000 (01:04 +0100)

Trivial merge