equal
deleted
inserted
replaced
155 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7" |
155 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7" |
156 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
156 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
157 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
157 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
158 |
158 |
159 # The pdf file viewer |
159 # The pdf file viewer |
160 if [ $(uname -s) = Darwin ]; then |
160 case "$ISABELLE_PLATFORM" in |
161 PDF_VIEWER="open -W -n" |
161 *-darwin) |
162 else |
162 PDF_VIEWER="open -W -n" |
163 PDF_VIEWER=xpdf |
163 ;; |
164 fi |
164 *) |
|
165 PDF_VIEWER=xpdf |
|
166 ;; |
|
167 esac |
165 #PDF_VIEWER=acroread |
168 #PDF_VIEWER=acroread |
166 #PDF_VIEWER=evince |
169 #PDF_VIEWER=evince |
167 |
170 |
168 |
171 |
169 # Printer spool command for PS files |
172 # Printer spool command for PS files |