Use the transformation pretty printer.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 27 Jul 2009 11:38:04 +0000 (13:38 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 27 Jul 2009 11:38:04 +0000 (13:38 +0200)
This changes two transformations to use the new pretty printer, the rest
still needs to be converted.


No differences found