src/Doc/System/Basics.thy
changeset 52746 eec610972763
parent 52743 a7d69a11f395
child 54683 cf48ddc266e5
     1.1 --- a/src/Doc/System/Basics.thy	Sat Jul 27 22:16:04 2013 +0200
     1.2 +++ b/src/Doc/System/Basics.thy	Sat Jul 27 22:20:25 2013 +0200
     1.3 @@ -257,9 +257,9 @@
     1.4    line editor for the @{tool_ref tty} interface.
     1.5  
     1.6    \item[@{setting_def ISABELLE_LATEX}, @{setting_def
     1.7 -  ISABELLE_PDFLATEX}, @{setting_def ISABELLE_BIBTEX}, @{setting_def
     1.8 -  ISABELLE_DVIPS}] refer to {\LaTeX} related tools for Isabelle
     1.9 -  document preparation (see also \secref{sec:tool-latex}).
    1.10 +  ISABELLE_PDFLATEX}, @{setting_def ISABELLE_BIBTEX}] refer to {\LaTeX}
    1.11 +  related tools for Isabelle document preparation (see also
    1.12 +  \secref{sec:tool-latex}).
    1.13    
    1.14    \item[@{setting_def ISABELLE_TOOLS}] is a colon separated list of
    1.15    directories that are scanned by @{executable isabelle} for external