[isabelle-dev] document_output vs. old document_dump/document_dump_mode

[Lawrence Paulson]

This has always been my approach as well. Long ago I wrote a little script for post-processing the latex files.
Larry

On 29 Aug 2012, at 07:16, Gerwin Klein <gerwin.klein at nicta.com.au> wrote:

> I use -D/document_dump extensively for producing papers. The Isabelle Latex output pretty much always requires post processing for anything that has higher type setting requirements. My standard setup these days is not to use root.tex for papers, but only to generate .tex from .thy, then post-process, then include manually in a master .tex file.