
diff -r 6587c627a9db -r cf48ddc266e5 src/Doc/System/Basics.thy
--- 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"}




