Support pretty-printing of non-transitive priorities.
Support pretty-printing of non-transitive priorities.


svn path=/strategoxt/trunk/; revision=16722

lichtemo/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,metaborg/strategoxt,lichtemo/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,metaborg/strategoxt,metaborg/strategoxt,Apanatshka/strategoxt,Apanatshka/strategoxt,Apanatshka/strategoxt,lichtemo/strategoxt