[isabelle-dev] Default PDF viewer

[Lars Noschinski]

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 [1], Cygwin has also the "cygstart" utility which should 
start the native default PDF viewer.

[1] http://stackoverflow.com/questions/577595/open-a-file-from-cygwin