[isabelle-dev] document_output vs. old document_dump/document_dump_mode

[Makarius]

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
> isabelle.pdf
> 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.


 	Makarius