[isabelle-dev] Default PDF viewer

[Lars Noschinski]

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