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