# HG changeset patch
# User wenzelm
# Date 1180560774 -7200
# Node ID 6852373aae8ab48fad8fb569b3e31389b27ed0fc
# Parent  ae4110f7f88f7ad296287831c303a0edaea9ab3c
tuned USEDIR_OPTIONS;
PDF_VIEWER: try to be smart for MacOS (Darwin);

diff -r ae4110f7f88f -r 6852373aae8a etc/settings
--- a/etc/settings	Wed May 30 23:31:57 2007 +0200
+++ b/etc/settings	Wed May 30 23:32:54 2007 +0200
@@ -73,10 +73,11 @@
 ### Compilation options (cf. isatool usedir)
 ###
 
-ISABELLE_USEDIR_OPTIONS="-v true -V outline=/proof,/ML"
+ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML"
 
 # Specifically for the HOL image
-HOL_USEDIR_OPTIONS="-p 1"
+HOL_USEDIR_OPTIONS=""
+#HOL_USEDIR_OPTIONS="-p 2"
 
 
 ###
@@ -154,9 +155,14 @@
 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
 # The pdf file viewer
-PDF_VIEWER=acroread
-#PDF_VIEWER=xpdf
-#PDF_VIEWER=open  #best for Mac users: will open in default PDF viewer
+if [ $(uname -s) = Darwin ]; then
+  PDF_VIEWER=open
+else
+  PDF_VIEWER=xpdf
+fi
+#PDF_VIEWER=acroread
+#PDF_VIEWER=evince
+
 
 # Printer spool command for PS files
 PRINT_COMMAND=lp