[isabelle-dev] document_output vs. old document_dump/document_dump_mode
makarius at sketis.net
Thu Aug 30 21:54:10 CEST 2012
On Thu, 30 Aug 2012, Tobias Nipkow wrote:
> BTW, the latest version of the logo tool triggers a bug in older
> versions of epstopdf:
> lapbroy100:Doc nipkow$ isabelle logo -o isabelle.pdf xxx
> epstopdf ($Id: epstopdf.pl 15843 2009-10-19 23:14:41Z karl $) 2.11
> !!! Error: Cannot open standard input
> Will have to figure out how to upgrade my latex installation.
Latex installations are always a bit old, so I will better revert to the
defensive invocation of epstopdf that we've had there so many years.
More information about the isabelle-dev