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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
