[isabelle-dev] Default PDF viewer

Makarius 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 [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

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 mailing list