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.kl...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
