[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:
OS X, Cygwin and Linux answer)
[ On Windows, it's probably "start". ]
This archive was generated by a fusion of
Pipermail (Mailman edition) and