Re: [isabelle] Passing pdflatex options to isabelle build
I've just figured out an adhoc solution: to edit the etc/settings file in
the Isabelle directory.
ISABELLE_LATEX="latex -file-line-error --shell-escape"
ISABELLE_PDFLATEX="pdflatex -file-line-error --shell-escape"
Is there a way of changing these variables without overwriting this
On Thu, 21 Mar 2019 at 14:50, Diego Machado Dias <diegodias.m at gmail.com>
> Dear all,
> I would like to use the latex package minted in the documentation of a
> theory file, but the PDF generation requires pdflatex to be called passing
> the --shell-escape option.
> How can I configure isabelle build to pass the option --shell-escape when
> calling the latex compiler?
> Best regards,
This archive was generated by a fusion of
Pipermail (Mailman edition) and