Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 52450 e09e1091394d
parent 52052 892061142ba6
child 52550 09e52d4a850a 
--- a/etc/settings	Tue Jun 25 20:35:50 2013 +0200
+++ b/etc/settings	Tue Jun 25 20:38:06 2013 +0200
@@ -101,7 +101,7 @@
     PDF_VIEWER="xdg-open"
     ;;
   macos)
-    PDF_VIEWER="open -W -n"
+    PDF_VIEWER="open -W -n -a Safari"
     ;;
   windows)
     PDF_VIEWER="cygstart"
isabelle