--- a/src/Doc/System/Basics.thy Fri Dec 06 21:49:08 2013 +0100
+++ b/src/Doc/System/Basics.thy Fri Dec 06 22:10:45 2013 +0100
@@ -267,12 +267,12 @@
\item[@{setting_def ISABELLE_DOCS}] is a colon separated list of
directories with documentation files.
-
- \item[@{setting_def PDF_VIEWER}] specifies the command-line to be
- used for displaying @{verbatim pdf} files.
- \item[@{setting_def DVI_VIEWER}] specifies the command-line to be
- used for displaying @{verbatim dvi} files.
+ \item[@{setting_def PDF_VIEWER}] specifies the program to be used
+ for displaying @{verbatim pdf} files.
+
+ \item[@{setting_def DVI_VIEWER}] specifies the program to be used
+ for displaying @{verbatim dvi} files.
\item[@{setting_def ISABELLE_TMP_PREFIX}@{text "\<^sup>*"}] is the
prefix from which any running @{executable "isabelle-process"}