Dear netters, Please, help out! Did anybody see a good full and formal description of pretty format? Seems that different ppl call "pretty" different things thank you in advance Dmitri ---
