equal
deleted
inserted
replaced
266 |
266 |
267 \item[@{setting_def ISABELLE_DOCS}] is a colon separated list of |
267 \item[@{setting_def ISABELLE_DOCS}] is a colon separated list of |
268 directories with documentation files. |
268 directories with documentation files. |
269 |
269 |
270 \item[@{setting_def ISABELLE_DOC_FORMAT}] specifies the preferred |
270 \item[@{setting_def ISABELLE_DOC_FORMAT}] specifies the preferred |
271 document format, typically @{verbatim dvi} or @{verbatim pdf}. |
271 document format, typically @{verbatim pdf} or @{verbatim dvi}. |
272 |
272 |
273 \item[@{setting_def DVI_VIEWER}] specifies the command to be used |
273 \item[@{setting_def PDF_VIEWER}] specifies the command-line to be |
274 for displaying @{verbatim dvi} files. |
274 used for displaying @{verbatim pdf} files. |
275 |
275 |
276 \item[@{setting_def PDF_VIEWER}] specifies the command to be used |
276 \item[@{setting_def DVI_VIEWER}] specifies the command-line to be |
277 for displaying @{verbatim pdf} files. |
277 used for displaying @{verbatim dvi} files. |
278 |
278 |
279 \item[@{setting_def PRINT_COMMAND}] specifies the standard printer |
279 \item[@{setting_def PRINT_COMMAND}] specifies the standard printer |
280 spool command, which is expected to accept @{verbatim ps} files. |
280 spool command, which is expected to accept @{verbatim ps} files. |
281 |
281 |
282 \item[@{setting_def ISABELLE_TMP_PREFIX}@{text "\<^sup>*"}] is the |
282 \item[@{setting_def ISABELLE_TMP_PREFIX}@{text "\<^sup>*"}] is the |