1.1 --- a/etc/settings	Sat May 22 20:10:11 2010 +0200
     1.2 +++ b/etc/settings	Sat May 22 20:20:51 2010 +0200
     1.3 @@ -157,11 +157,14 @@
     1.4  #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
     1.5  
     1.6  # The pdf file viewer
     1.7 -if [ $(uname -s) = Darwin ]; then
     1.8 -  PDF_VIEWER="open -W -n"
     1.9 -else
    1.10 -  PDF_VIEWER=xpdf
    1.11 -fi
    1.12 +case "$ISABELLE_PLATFORM" in
    1.13 +  *-darwin)
    1.14 +    PDF_VIEWER="open -W -n"
    1.15 +    ;;
    1.16 +  *)
    1.17 +    PDF_VIEWER=xpdf
    1.18 +    ;;
    1.19 +esac
    1.20  #PDF_VIEWER=acroread
    1.21  #PDF_VIEWER=evince
    1.22