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 document.
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
"tou
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 t
Hi Christian,
I think we stumbled across the same problem (unless I am mistaken, in which case
Gerwin can tell you how we solved it).
This does not solve your problem but may still be of interest: In the
development version of the LaTeX Sugar manual, there is a description how to
create tex snipp
(I send this message to the development list since isabelle build is not
yet part of any official release.)
Dear all,
How could we translate the instructions from
https://isabelle.in.tum.de/community/Generate_TeX_Snippets
for use with "isabelle build"?
More specifically, I currently have t
