| changeset 52450 | e09e1091394d |
| parent 52052 | 892061142ba6 |
| child 52550 | 09e52d4a850a |
| 52449:79e7fd57acc4 | 52450:e09e1091394d |
|---|---|
99 case "$ISABELLE_PLATFORM_FAMILY" in |
99 case "$ISABELLE_PLATFORM_FAMILY" in |
100 linux) |
100 linux) |
101 PDF_VIEWER="xdg-open" |
101 PDF_VIEWER="xdg-open" |
102 ;; |
102 ;; |
103 macos) |
103 macos) |
104 PDF_VIEWER="open -W -n" |
104 PDF_VIEWER="open -W -n -a Safari" |
105 ;; |
105 ;; |
106 windows) |
106 windows) |
107 PDF_VIEWER="cygstart" |
107 PDF_VIEWER="cygstart" |
108 ;; |
108 ;; |
109 esac |
109 esac |