STEP7: Here, the pretty-printer is installed. This could in principle also have been done right after the grammar and the 'case' were installed. Jump to this file