* Merged twisti branch.
authorChristian Thalinger <twisti@complang.tuwien.ac.at>
Tue, 22 Apr 2008 12:41:06 +0000 (14:41 +0200)
committerChristian Thalinger <twisti@complang.tuwien.ac.at>
Tue, 22 Apr 2008 12:41:06 +0000 (14:41 +0200)

Trivial merge