Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed mac line
authorpaulson
Sun, 06 Feb 2005 13:12:32 +0100
changeset 15501 59ebd778718c
parent 15500 dd4ab096f082
child 15502 9d012c7fadab
fixed mac line
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sat Feb 05 19:24:11 2005 +0100
+++ b/etc/settings	Sun Feb 06 13:12:32 2005 +0100
@@ -155,7 +155,7 @@
 #The pdf file viewer
 PDF_VIEWER=acroread
 #PDF_VIEWER=xpdf
-#PDF_VIEWER=xpdf    ##best for Mac users: will open in preferred PDF app.
+#PDF_VIEWER=open  ##best for Mac users: will open in default PDF viewer
 
 #Printer spool command for PS files
 PRINT_COMMAND=lp
isabelle