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.
PDF_VIEWER suggestion
authorpaulson
Mon, 04 Oct 2004 15:25:28 +0200
changeset 15227 804ecdc08cf2
parent 15226 df9b45e9a39f
child 15228 4d332d10fa3d
PDF_VIEWER suggestion
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Mon Oct 04 15:21:42 2004 +0200
+++ b/etc/settings	Mon Oct 04 15:25:28 2004 +0200
@@ -155,6 +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.
 
 #Printer spool command for PS files
 PRINT_COMMAND=lp
isabelle