added sizedText
authorChristian.Maeder@dfki.de <unknown>
Fri, 10 Dec 2010 16:13:02 +0000 (16:13 +0000)
committerChristian.Maeder@dfki.de <unknown>
Fri, 10 Dec 2010 16:13:02 +0000 (16:13 +0000)
commite985cee6cde53423e79c4ad1bb77b702f23b15f6
treece7e9a939533d427d7c10f347334b6a5688b84ed
parent2bc029c73f55c011fff0f61a9d47fb9fe5f26de9
added sizedText
Text/PrettyPrint/HughesPJ.hs
pretty.cabal