# HG changeset patch # User wenzelm # Date 1374954630 -7200 # Node ID 49825ba687ce84da69208595668caf7d7d2e192d # Parent a7d69a11f395d95b8c3f8c5f39267001bb18e40d tuned; diff -r a7d69a11f395 -r 49825ba687ce src/Doc/System/Presentation.thy --- a/src/Doc/System/Presentation.thy Sat Jul 27 21:43:12 2013 +0200 +++ b/src/Doc/System/Presentation.thy Sat Jul 27 21:50:30 2013 +0200 @@ -288,7 +288,7 @@ @{executable pdflatex}, @{executable dvips}, @{executable bibtex} (for @{verbatim bbl}), and @{executable makeindex} (for @{verbatim idx}). The actual commands are determined from the settings - environment (@{setting ISABELLE_LATEX} etc.). + environment (@{setting ISABELLE_PDFLATEX} etc.). The @{verbatim sty} output format causes the Isabelle style files to be updated from the distribution. This is useful in special