Merged MIPS stuff.
authorStefan Ring <stefan@complang.tuwien.ac.at>
Thu, 17 Sep 2009 13:49:54 +0000 (15:49 +0200)
committerStefan Ring <stefan@complang.tuwien.ac.at>
Thu, 17 Sep 2009 13:49:54 +0000 (15:49 +0200)

Trivial merge