doc-src/System/basics.tex
 changeset 14933 3fd8c03e3ee6 parent 13047 f27cc0a43feb child 15685 64f76b974a8d
equal inserted replaced
14932:df56e644da8f 14933:3fd8c03e3ee6
   186 \item[\settdx{ISABELLE_DOCS}] is a colon separated list of directories with
   186 \item[\settdx{ISABELLE_DOCS}] is a colon separated list of directories with
   187   documentation files.
   187   documentation files.
   188
   188
   189 \item[\settdx{DVI_VIEWER}] specifies the command to be used for displaying
   189 \item[\settdx{DVI_VIEWER}] specifies the command to be used for displaying
   190   \texttt{dvi} files.
   190   \texttt{dvi} files.

   191

   192 \item[\settdx{PRINT_COMMAND}] specifies the standard printer spool command,

   193   which is expected to accept PS files.
   191
   194
   192 \item[\settdx{ISABELLE_TMP_PREFIX}*] is the prefix from which any running
   195 \item[\settdx{ISABELLE_TMP_PREFIX}*] is the prefix from which any running
   193   \texttt{isabelle} process derives an individual directory for temporary
   196   \texttt{isabelle} process derives an individual directory for temporary
   194   files.  The default is somewhere in \texttt{/tmp}.
   197   files.  The default is somewhere in \texttt{/tmp}.
   195
   198