[isabelle-dev] Default PDF viewer

Lars Noschinski noschinl at in.tum.de
Wed Apr 25 12:19:37 CEST 2012

Hi everyone,

I saw that d5e7f7039e03 changed the default pdf viewer from xpdf to 
evince. I wonder whether xdg-open would not be the more sensible choice. 
On modern Linux systems, this opens the default PDF viewer (but I do not 
have any idea whether this works on cygwin) -- which will most probably 
be evince for Gnome systems and okular for KDE systems.

   -- Lars

More information about the isabelle-dev mailing list