[isabelle-dev] Default PDF viewer
noschinl at in.tum.de
Wed Apr 25 12:22:04 CEST 2012
On 25.04.2012 12:19, Lars Noschinski wrote:
> 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.
According to , Cygwin has also the "cygstart" utility which should
start the native default PDF viewer.
More information about the isabelle-dev