[isabelle-dev] Default PDF viewer
makarius at sketis.net
Wed Apr 25 16:17:23 CEST 2012
On Wed, 25 Apr 2012, Lars Noschinski wrote:
>> 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.
>  http://stackoverflow.com/questions/577595/open-a-file-from-cygwin
See now Isabelle/8c37cb84065f.
The Cygwin bundle will override PDF_VIEWER=cygstart to use Sumatra PDF,
and thus avoid an extra dependency.
More information about the isabelle-dev