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.txt
Normalization steps can be turned off with the '-n' switch. -- Main.MerijnDeJonge - 22 Dec 2004