equal
deleted
inserted
replaced
71 |
71 |
72 ### |
72 ### |
73 ### Compilation options (cf. isatool usedir) |
73 ### Compilation options (cf. isatool usedir) |
74 ### |
74 ### |
75 |
75 |
76 ISABELLE_USEDIR_OPTIONS="-v true -V outline=/proof,/ML" |
76 ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML" |
77 |
77 |
78 # Specifically for the HOL image |
78 # Specifically for the HOL image |
79 HOL_USEDIR_OPTIONS="-p 1" |
79 HOL_USEDIR_OPTIONS="" |
|
80 #HOL_USEDIR_OPTIONS="-p 2" |
80 |
81 |
81 |
82 |
82 ### |
83 ### |
83 ### Document preparation (cf. isatool latex/document) |
84 ### Document preparation (cf. isatool latex/document) |
84 ### |
85 ### |
152 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7" |
153 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7" |
153 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
154 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
154 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
155 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
155 |
156 |
156 # The pdf file viewer |
157 # The pdf file viewer |
157 PDF_VIEWER=acroread |
158 if [ $(uname -s) = Darwin ]; then |
158 #PDF_VIEWER=xpdf |
159 PDF_VIEWER=open |
159 #PDF_VIEWER=open #best for Mac users: will open in default PDF viewer |
160 else |
|
161 PDF_VIEWER=xpdf |
|
162 fi |
|
163 #PDF_VIEWER=acroread |
|
164 #PDF_VIEWER=evince |
|
165 |
160 |
166 |
161 # Printer spool command for PS files |
167 # Printer spool command for PS files |
162 PRINT_COMMAND=lp |
168 PRINT_COMMAND=lp |
163 |
169 |
164 |
170 |