Pretty-printing Koala specifications is performed with the =koala-text= tool. This tool reads a Koala composition, normalizes it and transforms the result to text.
koala-text -I <directory with Koala components> \\ -i <top-level component> \\ -o composition.txtNormalization steps can be turned off with the '-n' switch. -- Main.MerijnDeJonge - 22 Dec 2004