Thanks! I will have a look at LaTeX Sugar then. Just for clarification:
My application are TeX snippets that are not generated from
antiquotations (namely parts of Isar proofs). However, I use almost the
same approach as described in the wiki, the only difference being that I
have to surround
The approach in LaTeX Sugar is very similar, but I don't remember if we
describe there how to avoid generating the superfluous pdf.
You can basically use a script document/build that takes over control of which
commands are run to build the document. That command could for instance just be
On 11/06/2012 07:54 PM, Gerwin Klein wrote:
The approach in LaTeX Sugar is very similar, but I don't remember if we
describe there how to avoid generating the superfluous pdf.
You can basically use a script document/build that takes over control of which commands
are run to build the