HomeIsabelle/Phabricator

proper pretty printing for latex output, notably for pide_session=true…

Authored by makarius.