Re: [isabelle] pdflatex not found [SOLVED]



Pdf generation seems to work.

Is it now possible to get the pdf without the heap-file?
(Because in my case, the heap file was not generated, as it still needs to
be adapted for Isabelle2014).
This is great news.

- Nils


2014-07-09 17:47 GMT+02:00 Makarius <makarius at sketis.net>:

> On Wed, 9 Jul 2014, Nils Jähnig wrote:
>
>  I am moving to Isabelle2013-2, and I had problem that build could not find
>> my pdflatex (though Isabelle2013 did).
>>
>> I fixed this by reassigning ISABELLE_PDFLATEX in etc/settings to the
>> absolute path to pdflatex.
>>
>
> Can you try http://isabelle.in.tum.de/website-Isabelle2014-RC0 as well?
>
> I made some adjustments there, such that Mac OS X and Windows find their
> pre-existing LaTeX more often.  This only refers to the main application
> entry point, i.e. the Prover IDE application bundle.  Any command-line use
> should find pdflatex from the normal shell PATH variable.
>
>
>         Makarius



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.