[isabelle-dev] Default PDF viewer
noschinl at in.tum.de
Wed Apr 25 12:19:37 CEST 2012
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.
More information about the isabelle-dev