equal
deleted
inserted
replaced
270 \item[@{setting_def DVI_VIEWER}] specifies the program to be used |
270 \item[@{setting_def DVI_VIEWER}] specifies the program to be used |
271 for displaying @{verbatim dvi} files. |
271 for displaying @{verbatim dvi} files. |
272 |
272 |
273 \item[@{setting_def ISABELLE_TMP_PREFIX}@{text "\<^sup>*"}] is the |
273 \item[@{setting_def ISABELLE_TMP_PREFIX}@{text "\<^sup>*"}] is the |
274 prefix from which any running @{executable "isabelle_process"} |
274 prefix from which any running @{executable "isabelle_process"} |
275 derives an individual directory for temporary files. The default is |
275 derives an individual directory for temporary files. |
276 somewhere in @{file_unchecked "/tmp"}. |
|
277 |
276 |
278 \end{description} |
277 \end{description} |
279 \<close> |
278 \<close> |
280 |
279 |
281 |
280 |