[isabelle] Isabelle tutorial view bug



There is a bug/lack of consideration of command:

isabelle doc _docname_

It's that it's by default tries to use xpdf.

[root at qtvali Documents]# isabelle doc intro
/usr/local/Isabelle2009-2/lib/Tools/display: line 80: exec: xpdf: not found

On my Fedora, Okular is default pdf viewer and it seems that installing
Acrobat Reader has changed this connection.

After some searching it seems that "xdg-open intro.pdf" is a command to do
the right thing:
http://stackoverflow.com/questions/1044217/bash-getting-standard-program-for-file-type(contains
OS X, Cygwin and Linux answer)

[ On Windows, it's probably "start". ]

Tambet




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.