[ issue 1293 ] Cosmetic changes
[ issue 1293 ] Replaced show function by pretty
[ issue 1293 ] Added a note (some PrettyTCM instances could be removed)
Merge branch 'issue-1293' of /home/asr/agda
Merge remote-tracking branch 'upstream/master'