equal
deleted
inserted
replaced
114 ISABELLE_EPSTOPDF="epstopdf" |
114 ISABELLE_EPSTOPDF="epstopdf" |
115 |
115 |
116 # Paranoia setting for strange latex installations ... |
116 # Paranoia setting for strange latex installations ... |
117 #unset TEXMF |
117 #unset TEXMF |
118 |
118 |
119 # If ISABELLE_THUMBPDF is set, isatool tries to |
|
120 # generate thumbnails for proof documents |
|
121 #type -path thumbpdf >/dev/null && ISABELLE_THUMBPDF="thumbpdf" |
|
122 |
|
123 |
119 |
124 ### |
120 ### |
125 ### Misc path settings |
121 ### Misc path settings |
126 ### |
122 ### |
127 |
123 |