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

Makarius 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
> 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.


More information about the isabelle-dev mailing list