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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
