[isabelle] pdflatex not found [SOLVED]


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.

I post this here for reference, in case someone else has the same problems.


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