--- a/etc/settings Fri Dec 06 21:49:08 2013 +0100
+++ b/etc/settings Fri Dec 06 22:10:45 2013 +0100
@@ -100,21 +100,21 @@
# Where to look for docs (multiple dirs separated by ':').
ISABELLE_DOCS="$ISABELLE_HOME/doc"
-# PDF file viewer (command-line to eval)
+# PDF file viewer
case "$ISABELLE_PLATFORM_FAMILY" in
linux)
PDF_VIEWER="xdg-open"
;;
macos)
- PDF_VIEWER="open -W -n -F"
+ PDF_VIEWER="open"
;;
windows)
PDF_VIEWER="cygstart"
;;
esac
-# DVI file viewer (command-line to eval)
-DVI_VIEWER=xdvi
+# DVI file viewer
+DVI_VIEWER="xdvi"
###