Re: [isabelle] Document preparation
On Tue, 14 Aug 2012, Saurabh Pradeeprao Sabnis wrote:
*** /root/Isabelle2011-1/lib/Tools/latex: line 75: pdflatex: command not found
*** Document preparation failure in directory '/root/.isabelle/Isabelle2011-1/browser_info/HOL/MySession/document'
Jasmin has already pointed to the missing pdflatex.
Moreover, you should not run things as "root", it is bad practice and
changes the meaning of file-system permissions in very subtle ways. For
example, Isabelle relies on the read-only mode of files in certain
This archive was generated by a fusion of
Pipermail (Mailman edition) and